https://github.com/shonfeder/nd_project

[WIP] A pedagogical toy for learning natural deduction
https://github.com/shonfeder/nd_project

Last synced: about 1 month ago
JSON representation

[WIP] A pedagogical toy for learning natural deduction

• Host: GitHub
• URL: https://github.com/shonfeder/nd_project
• Owner: shonfeder
• Created: 2019-11-15T01:27:31.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-01-29T21:34:54.000Z (almost 5 years ago)
• Last Synced: 2023-08-01T01:13:47.295Z (over 1 year ago)
• Language: OCaml
• Homepage:
• Size: 160 KB
• Stars: 5
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project