lean-type-theory icon indicating copy to clipboard operation
lean-type-theory copied to clipboard

verified publisher icon digama0
→

Metadata

LaTeX code for a paper on lean's type theory

← Metadata

98
Stars
3
Forks
Watchers

Owner

verified publisher icon digama0

Metadata

LaTeX code for a paper on lean's type theory

Back