Taming Differentiable Logics with Coq Formalisation.

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark

Browse the full ITP paper archive.