https://github.com/totbwf/muprl

A small NuPRL style proof assistant
https://github.com/totbwf/muprl

computational-type-theory nuprl proof-assistant

Last synced: 2 months ago
JSON representation

A small NuPRL style proof assistant

• Host: GitHub
• URL: https://github.com/totbwf/muprl
• Owner: TOTBWF
• Created: 2018-03-08T02:44:15.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2019-01-31T03:15:51.000Z (almost 6 years ago)
• Last Synced: 2023-02-26T23:26:31.672Z (almost 2 years ago)
• Topics: computational-type-theory, nuprl, proof-assistant
• Language: Haskell
• Size: 110 KB
• Stars: 32
• Watchers: 2
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project