GitHub repository: pi8027/real-closed
Primary language: Coq
Description: Theorems for Real Closed Fields