chdoc

Christian Doczkal's repositories

comp-dec-pdl

Completeness and Decidability for PDL in Coq

Language:Coq1 30

comp-dec-modal

A Machine-Checked Constructive Metatheory of Computation Tree Logic

Language:CoqNOASSERTION020

contribs-relation-algebra

Relation Algebra and KAT

Language:CoqLGPL-3.0020

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.

Language:OCamlLGPL-2.1020

coqdocjs

Language:JavaScriptBSD-2-Clause000

coqtheorem

A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.

Language:TeXMIT000

dfhack

Memory hacking library for Dwarf Fortress and a set of tools that use it

Language:C++NOASSERTION000

dfhack-scripts

DFHack scripts

Language:Lua000

easycrypt-doc

EasyCrypt documentation

Language:TeX010

fourcolor

Formal proof of the Four Color Theorem

Language:Coq010

knausj_talon

Config for talon for Mac, Windows and Linux. Very much in progress.

Language:PythonMIT000

math-comp

Mathematical Components

Language:Coq010

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLGPL-2.1020

relation-algebra

Relation algebra library for Coq

Language:CoqNOASSERTION020