Yet Another Proof Asistant (for fun).
Projet 2 - 2019-2020 Marie-Eva Fabri et Gaspard Thévenon
Le projet du néant distordu