Geeks
aa755
/
ROSCoq
Robots powered by Constructive Reals
Primary Language
Coq
ROSCoq Home Page
ROSCoq GitHub
Markdown
Readme
1
Issue
34
Stargazers
4
Watchers
Issues
Closed issue
use EqDec from the standard library
#1 opened
9 years ago
by
aa755
0