Theorems for Real Closed Fields
-
Updated
Jul 23, 2026 - Rocq Prover
#
real-closed-fields
Here are 2 public repositories matching this topic...
C³: Calculus of Constrained Constructions. Sovereign alternative to SMT/Haskell from first principles. Menhir · Rascal · Scala 3 · Dex · Aldor · MPL.
haskell dependent-types scala prolog theorem-proving cad type-theory algebraic-geometry smt-solver formal-verification liquid-haskell real-closed-fields constraint-solving quantifier-elimination
-
Updated
Aug 29, 2026 - Scala
Add this topic to your repo
To associate your repository with the real-closed-fields topic, visit your repo's landing page and select "manage topics."