search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

opam for 1.0.0 + better readme #12

Closed CohenCyril closed 5 years ago