Person. Alessandro Bruni Associate professor · IT University of Copenhagen · alessandrobruni.name · 0000-0003-2946-9462 Papers Quantifiers for Differentiable Logics in Rocq (Extended Abstract) marulandagiraldo-2025-quantifiersSAIV · 2025 DOI