Workshop Fondations et Information Quantique
L3 Info ENS Lyon, PROJET 2 (second semestre)
J'abhorre ce projet, et exècre sa vaine existence
Yet Another Proof Asistant (for fun).
Projet 2 - 2019-2020 Marie-Eva Fabri et Gaspard Thévenon