Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Coq
lambda-calculus-coq
A lambda-calculus implementation in Coq
Coq
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
19mo ago
Recent commits
Latest commits.
Initial commit
4057844
rajdakin
19mo ago
Initial commit
65a57f7
rajdakin
19mo ago
Top contributors
Builders behind this project.
rajdakin
2 commits
