SAIV 2025

Speaker

Alessandro Bruni

Talks at this conference:
 Mon, 16:20 Quantifiers for Differentiable Logics in Rocq

 Overview