GitHub repository: math-comp/real-closed
Primary language: Rocq Prover
Created: 2018-04-18T08:51:18Z
Description: Theorems for Real Closed Fields