Quantifiers for Differentiable Logics in Rocq (Extended Abstract). - Jairo Miguel Marulanda-Giraldo; Ekaterina Komendantskaya; Alessandro Bruni; Reynald Affeldt; Matteo Capucci; Enrico Marchioni (SAIV, 2025)