https://github.com/jessealama/norm

Normalization of natural deduction proofs
https://github.com/jessealama/norm

Last synced: 4 days ago
JSON representation

Normalization of natural deduction proofs

• Host: GitHub
• URL: https://github.com/jessealama/norm
• Owner: jessealama
• Created: 2013-03-21T13:07:04.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2013-03-21T13:08:11.000Z (over 11 years ago)
• Last Synced: 2024-05-09T07:29:16.383Z (6 months ago)
• Language: Common Lisp
• Size: 109 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project