search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

Fix w.r.t. math-comp/math-comp#458 (the new interval library) #28

Closed pi8027 closed 3 years ago

pi8027 commented 4 years ago

See math-comp/math-comp#458.