Formalisation in Lean 4 of basic results in Real Algebraic Geometry
Primary LanguageCApache License 2.0Apache-2.0