Geeks
math-comp
/
real-closed
Theorems for Real Closed Fields
Primary Language
Coq
real-closed GitHub
Markdown
Readme
15
Issues
13
Stargazers
13
Watchers
Stargazers
adimanea
@Poligon-Educational
ana-borges
anton-trunov
https://tonstudio.io
dimpase
Northwestern University
ekim1919
junjihashimoto
Japan
nobrowser
pennzht
Risto-Stevcev
Skopje, North Macedonia
smorimoto
@ocaml @tc39
thery
INRIA
vonavi
Huawei Technologies Co. Ltd