search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

testing coq 8.13 #33

Closed CohenCyril closed 3 years ago