https://github.com/forked-from-1kasper/lambda

Untyped lambda calculus implemented in Lean
https://github.com/forked-from-1kasper/lambda

lambda-calculus language lean

Last synced: 1 day ago
JSON representation

Untyped lambda calculus implemented in Lean

• Host: GitHub
• URL: https://github.com/forked-from-1kasper/lambda
• Owner: forked-from-1kasper
• Created: 2018-04-07T12:05:13.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2020-12-06T10:05:04.000Z (about 4 years ago)
• Last Synced: 2024-11-10T10:08:57.542Z (about 2 months ago)
• Topics: lambda-calculus, language, lean
• Language: Lean
• Homepage:
• Size: 18.6 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project