#
ssreflect
Here are 41 public repositories matching this topic...
-
Updated
Jul 25, 2019 - Coq
CoqEAL -- The Coq Effective Algebra Library
-
Updated
Feb 7, 2021 - Coq
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
-
Updated
Oct 14, 2023 - Coq
Stable sort algorithms and their stability proofs in Coq
-
Updated
May 14, 2024 - Coq
Ring, field, lra, nra, and psatz tactics for Mathematical Components
-
Updated
Jan 18, 2024 - Coq
Formal power series in mathomp
-
Updated
Feb 15, 2024 - Coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
-
Updated
Dec 8, 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."