Taming Differentiable Logics with Coq Formalisation
- Reynald Affeldt
- , Alessandro Bruni
- , Ekaterina Komendantskaya
- , Natalia Ślusarz
- , Kathrin Stark
- National Institute of Advanced Industrial Science and Technology
- Heriot-Watt University
- University of Southampton
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research