ssreflect
Here are 41 public repositories matching this topic...
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
-
Updated
Aug 5, 2024 - Coq
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
-
Updated
Aug 4, 2024 - Coq
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
-
Updated
Jul 26, 2024 - Coq
A Coq formalization of information theory and linear error-correcting codes
-
Updated
Jul 29, 2024 - Coq
-
Updated
Jul 22, 2024 - Coq
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
-
Updated
Jul 22, 2024 - Coq
-
Updated
Jul 21, 2024 - Coq
A proof of Abel-Ruffini theorem.
-
Updated
Jul 16, 2024 - Coq
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
-
Updated
Jul 15, 2024 - Coq
Multinomials for the Mathematical Components library.
-
Updated
Jul 15, 2024 - Coq
Monadic effects and equational reasonig in Coq
-
Updated
Jul 12, 2024 - Coq
The formal proof of the Odd Order Theorem
-
Updated
Aug 5, 2024 - Coq
Stable sort algorithms and their stability proofs in Coq
-
Updated
Jun 20, 2024 - Coq
Finite sets, finite maps, multisets and generic sets
-
Updated
May 29, 2024 - Coq
Ring, field, lra, nra, and psatz tactics for Mathematical Components
-
Updated
Jun 17, 2024 - Coq
Improve this page
Add a description, image, and links to the ssreflect topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ssreflect topic, visit your repo's landing page and select "manage topics."