https://github.com/unkindpartition/prover

Simple lambda prover
https://github.com/unkindpartition/prover

Last synced: 3 months ago
JSON representation

Simple lambda prover

• Host: GitHub
• URL: https://github.com/unkindpartition/prover
• Owner: UnkindPartition
• License: mit
• Created: 2015-05-26T13:39:45.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-07-06T09:19:00.000Z (over 10 years ago)
• Last Synced: 2025-04-23T20:46:10.307Z (9 months ago)
• Language: Haskell
• Size: 178 KB
• Stars: 24
• Watchers: 7
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project