https://github.com/emarzion/systemt

An interpreter for Gödel's System T
https://github.com/emarzion/systemt

logic mathematical-logic mathematics

Last synced: 26 days 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-04-17T02:19:40.000Z (over 7 years ago)
• Last Synced: 2023-07-10T18:41:51.210Z (over 1 year ago)
• Topics: logic, mathematical-logic, mathematics
• Language: Haskell
• Size: 2.55 MB
• Stars: 11
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project