search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

Testing MathComp 1.14 #39

Closed pi8027 closed 2 years ago

pi8027 commented 2 years ago

~Although Docker images are not available yet, I confirm that it also works with Coq 8.15+rc1.~