CCC Semantics of lambda calculus in Lean4
Stars
0
Forks
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
5
commits
Added a README! And done with code, I think.
727d0cd
All is gooooood!
1723cb2
Lots 'O Changes!
4330675
Added STLC syntax
5054292
Initial commit
b52d867