GitHub repository: ruibaptista/real
Primary language: Coq
Created: 2018-08-01T09:58:02Z
Description: Constructive real numbers