Giters
emeinhardt
/
lean-at-MC2020
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
0
Issues:
0
Forks:
This repository is not active
About
Languages
Language:
Lean
40.9%
Language:
Python
33.9%
Language:
TeX
18.7%
Language:
Makefile
3.1%
Language:
Batchfile
2.4%
Language:
HTML
1.0%
Language:
Shell
0.1%