Geeks
ckeller
/
Logipedia
An encyclopedia of proofs
Primary Language
OCaml
Logipedia GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
ckeller
francoisthire
Nomadic Labs