search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

Adapt to https://github.com/coq/coq/pull/16293 #50

Closed proux01 closed 2 years ago

proux01 commented 2 years ago

Should fix CI issues on MathComp and Analysis.