https://github.com/emarzion/systemt
An interpreter for Gödel's System T
https://github.com/emarzion/systemt
logic mathematical-logic mathematics
Last synced: 3 months ago
JSON representation
An interpreter for Gödel's System T
- Host: GitHub
- URL: https://github.com/emarzion/systemt
- Owner: emarzion
- Created: 2017-04-13T04:20:15.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2017-04-17T02:19:40.000Z (about 8 years ago)
- Last Synced: 2025-01-31T08:51:16.490Z (3 months ago)
- Topics: logic, mathematical-logic, mathematics
- Language: Haskell
- Size: 2.55 MB
- Stars: 12
- Watchers: 3
- Forks: 0
- Open Issues: 0