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: 3 months 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 (about 7 years ago)
- Default Branch: master
- Last Pushed: 2020-12-06T10:05:04.000Z (over 4 years ago)
- Last Synced: 2025-01-07T08:26:06.737Z (5 months ago)
- Topics: lambda-calculus, language, lean
- Language: Lean
- Homepage:
- Size: 18.6 KB
- Stars: 1
- Watchers: 2
- Forks: 1
- Open Issues: 0