https://github.com/rzrn/lambda
Untyped lambda calculus implemented in Lean
https://github.com/rzrn/lambda
lambda-calculus language lean
Last synced: 12 days ago
JSON representation
Untyped lambda calculus implemented in Lean
- Host: GitHub
- URL: https://github.com/rzrn/lambda
- Owner: rzrn
- Created: 2018-04-07T12:05:13.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2020-12-06T10:05:04.000Z (over 5 years ago)
- Last Synced: 2026-05-31T00:14:42.801Z (29 days ago)
- Topics: lambda-calculus, language, lean
- Language: Lean
- Homepage:
- Size: 18.6 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md