Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai
NameLast modifiedSize
folder-parentParent Directory
fileAn Introduction to Programming and Proving with Dependent Types in Coq - Adam Chlipala.pdf2022-02-22 06:151230 KB
fileAn Operational Foundation for the Tactic Language of Coq - Wojciech Jedynak, Małgorzata Biernacka, Dariusz Biernacki.pdf2022-02-22 06:15319 KB
fileCertified Programming With Dependent Types - Adam Chlipala (2016).pdf2022-02-22 06:151649 KB
fileCoq in a Hurry - Yves Bertot.pdf2022-02-22 06:15575 KB
fileInteractive Theorem Proving and Program Development_ Coq'Art_ The Calculus of Inductive Constructions - Springer. (Texts in Theoretical Computer Science. An EATCS Series) Yves Bertot, Pierre Castéran.djvu2022-02-22 06:153323 KB
fileIntroducing MetaCoq_ A Safe Tactic Language for Coq - Beta Ziliani.pdf2022-02-22 06:1583 KB
fileIntroduction to Computational Logic - Gert Smolka and Chad E. Brown.pdf2022-02-22 06:151303 KB
fileIntroduction to the Coq proof-assistant for practical software verification - Christine Paulin-Mohring.pdf2022-02-22 06:15649 KB
fileNatural Language Reasoning using Coq: Interaction and Automation - Stergios Chatzikyriakidis.pdf2022-02-22 06:1570 KB
fileThe Coq Proof Assistant_ A Tutorial - Gérard Huet, Gilles Kahn and Christine Paulin-Mohring. December 18, 2017.pdf2022-02-22 06:15196 KB