search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

compilation with mathcomp (Mon Jan 28 commit) and coq 8.9 #7

Closed affeldt-aist closed 5 years ago

CohenCyril commented 5 years ago

Wooops wrong push sorry. Fixing this now.