Giters
digama0
/
lean-type-theory
LaTeX code for a paper on lean's type theory
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
105
Watchers:
6
Issues:
1
Forks:
4
This repository is not active
About
LaTeX code for a paper on lean's type theory
Languages
Language:
TeX
100.0%