Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lambda
A bit of simply typed lambda calculus in Lean
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
6mo ago
Recent commits
Latest commits.
Fix lakefile
df062db
Сухарик
6mo ago
Create LICENSE
e3645c4
Сухарик
6mo ago
A bit of simply typed lambda calculus
66e2b9b
Сухарик
7mo ago
Initial commit
3285975
Сухарик
7mo ago
Top contributors
Builders behind this project.
suhr
4 commits
