Giters
roglo
/
coq_real
Real Numbers using LPO
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
2
Issues:
0
Forks:
roglo/coq_real Stargazers
Seb Mondet
smondet
Mukesh Tiwari
mukeshtiwari
Anton Trunov
anton-trunov
Risto Stevcev
Risto-Stevcev
Alex Gryzlov
clayrat
Scott Fleischman
scott-fleischman
Philip Zucker
philzook58
Tim Kersey
tkersey