5 repos
HoTT/coq
Coq is a formal proof management system. It provides a formal language to write mathematical…
32
940 commits
lthms/FreeSpec
A framework for implementing and certifying impure computations in Coq
53
360 commits
uds-psl/autosubst-ocaml
No description
22
52 commits
jscert/jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
207
1,252 commits
vouillon/coinst
Collection of tools to find issues in package repositories and help manage Debian package…
8
328 commits
