- coq/coq 243 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 develo…
- ocaml-batteries-team/batteries-included 216 Batteries Included project
- andrejbauer/Homotopy 37 Homotopy theory in Coq.
- edwinb/Idris-old 22 A language with dependent types
- mattam82/Constructors 8 Example Coq plugin
Contributions in the last year 0 total Apr 26, 2014 – Apr 26, 2015
Longest streak 0 days No recent contributions
Current streak 0 days No recent contributions