https://github.com/oeb25/naduo

A web app for natural deduction
https://github.com/oeb25/naduo

Last synced: about 9 hours ago
JSON representation

A web app for natural deduction

• Host: GitHub
• URL: https://github.com/oeb25/naduo
• Owner: oeb25
• Created: 2022-02-19T18:13:25.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-04-13T09:12:44.000Z (over 2 years ago)
• Last Synced: 2023-09-12T07:11:38.681Z (about 1 year ago)
• Language: TypeScript
• Homepage: https://naduo.netlify.app/
• Size: 321 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project