Person. Reynald Affeldt National Institute of Advanced Industrial Science and Technology · 0000-0002-2327-953X Papers Quantifiers for Differentiable Logics in Rocq (Extended Abstract) marulandagiraldo-2025-quantifiersSAIV · 2025 DOI