Gaia release for MathComp 2.0.0
This release is known to work with Coq 8.16 to 8.18 and MathComp 2.0.0. The main change is a port to MathComp 2 by Pierre Roux.
This release is known to work with Coq 8.16 to 8.18 and MathComp 2.0.0. The main change is a port to MathComp 2 by Pierre Roux.