Giters
anhmiuhv
/
cs6390-LogicalFoundation
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
2
Issues:
0
Forks:
cs6390 - Georgia Tech Logical Foundation course
About
Languages
Language:
HTML
71.8%
Language:
Coq
20.5%
Language:
OCaml
3.8%
Language:
TeX
2.0%
Language:
Makefile
1.0%
Language:
CSS
0.8%
Language:
JavaScript
0.1%