Pinned Repositories
comp-dec-modal
A Machine-Checked Constructive Metatheory of Computation Tree Logic
comp-dec-modal-libs
comp-dec-pdl
Completeness and Decidability for PDL in Coq
contribs-relation-algebra
Relation Algebra and KAT
dfhack
Memory hacking library for Dwarf Fortress and a set of tools that use it
graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
scripts
DFHack scripts
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
dilithium
chdoc's Repositories
chdoc/comp-dec-pdl
Completeness and Decidability for PDL in Coq
chdoc/comp-dec-modal
A Machine-Checked Constructive Metatheory of Computation Tree Logic
chdoc/comp-dec-modal-libs
chdoc/contribs-relation-algebra
Relation Algebra and KAT
chdoc/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
chdoc/coqdocjs
chdoc/coqtheorem
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
chdoc/dfhack
Memory hacking library for Dwarf Fortress and a set of tools that use it
chdoc/dfhack-scripts
DFHack scripts
chdoc/easycrypt-doc
EasyCrypt documentation
chdoc/fourcolor
Formal proof of the Four Color Theorem
chdoc/knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
chdoc/math-comp
Mathematical Components
chdoc/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
chdoc/relation-algebra
Relation algebra library for Coq