ssreflect
Here are 41 public repositories matching this topic...
A Coq formalization of information theory and linear error-correcting codes
-
Updated
Jun 2, 2024 - Coq
Ring, field, lra, nra, and psatz tactics for Mathematical Components
-
Updated
May 28, 2024 - Coq
Micromega tactics for Mathematical Components
-
Updated
May 28, 2024 - Coq
Monadic effects and equational reasonig in Coq
-
Updated
May 24, 2024 - Coq
Multinomials for the Mathematical Components library.
-
Updated
Apr 23, 2024 - Coq
A proof of Abel-Ruffini theorem.
-
Updated
Apr 8, 2024 - Coq
Stable sort algorithms and their stability proofs in Coq
-
Updated
Jun 4, 2024 - Coq
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
-
Updated
Mar 28, 2024 - Coq
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
-
Updated
Mar 20, 2024 - Coq
Formal power series in mathomp
-
Updated
Feb 15, 2024 - Coq
-
Updated
Jan 19, 2024 - Coq
Finite sets, finite maps, multisets and generic sets
-
Updated
May 29, 2024 - Coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
-
Updated
Dec 8, 2023 - Coq
The formal proof of the Odd Order Theorem
-
Updated
Nov 29, 2023 - 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."