Results
8
repositories owned by
Coq
coq
4.7k
Stars
632
Forks
Watchers
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 developme...
opam
118
Stars
160
Forks
Watchers
Archive for all Coq related OPAM packages organized in various repositories
bot
23
Stars
14
Forks
Watchers
A (Coq Development Team) bot written in OCaml
ltac2
31
Stars
10
Forks
Watchers
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.