Geeks
andrejbauer
/
Homotopy
Homotopy theory in Coq.
Primary Language
Verilog
Homotopy Home Page
Homotopy GitHub
Markdown
Readme
1
Issue
90
Stargazers
11
Watchers
Issues
Open issue
git clone fails
#1 opened
11 years ago
by
kim-em
1