Rare find

lean-type-theory. LaTeX code for a paper on lean's type theory

github.com/digama0/lean-type-theory

by

@digama0

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.