Language for high-assurance and high-speed cryptography
Repository Index
87,075 visible repositories in the index
1–9 of 9 · Most stars
A Library for Representing Recursive and Impure Programs in Coq
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Convert Haskell source code to Coq source code.
- coq
- haskell
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm