Person. Jairo Miguel Marulanda-Giraldo University of Southampton Papers Quantifiers for Differentiable Logics in Rocq (Extended Abstract) marulandagiraldo-2025-quantifiersSAIV · 2025 DOI