SAIV 2025

Speaker

Reynald Affeldt

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

 Overview