Simplifications, phase 1

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

Closed CohenCyril closed 6 months ago

CohenCyril commented 6 months ago

This PR removes support for Coq 8.16 and ensures compatibility with math-comp/math-comp#1190