Giters
soimort
/
some-proofs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
3
Issues:
0
Forks:
1
algebraic-logic
order-theory
Young men should prove theorems.
About
algebraic-logic
order-theory
Languages
Language:
Coq
100.0%