Deprecation warning for rolle, mvt, etc and properly testing Abel - Githubissues

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

Deprecation warning for rolle, mvt, etc and properly testing Abel #60

Closed CohenCyril closed 6 months ago