/RealAlgebraicGeometry

Formalisation in Lean 4 of basic results in Real Algebraic Geometry

Primary LanguageCApache License 2.0Apache-2.0

This repository is not active