https://github.com/jdan/mockingbird.lean
Solutions to "To Mock a Mockingbird" using the Lean theorem prover
https://github.com/jdan/mockingbird.lean
Last synced: 5 months ago
JSON representation
Solutions to "To Mock a Mockingbird" using the Lean theorem prover
- Host: GitHub
- URL: https://github.com/jdan/mockingbird.lean
- Owner: jdan
- Created: 2020-12-09T17:27:19.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2020-12-10T02:26:42.000Z (over 5 years ago)
- Last Synced: 2025-01-01T02:41:33.373Z (over 1 year ago)
- Language: Lean
- Size: 4.88 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files: