Contact DMCA Privacy

Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.4
Taming Differentiable Logics with Coq Formalisation
tamingdifferentiablelogicscoqformalisation