Coq Project at ENS Paris-Saclay
youqad / coq_project Goto Github PK
View Code? Open in Web Editor NEWCoq Project at ENS Paris-Saclay, teacher : François Thiré
Home Page: http://www.lsv.fr/~fthire/teaching/2016-2017/projet-logique/Coq/projet/sujet/sujet.pdf