Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
Home Page:http://younesse.net/Preuve-assistee-par-ordinateur/Coherence_Heyting/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool