Topic: "multi-logic-proof"
owings1/pytableaux
multi-logic proof generator
Language: Python - Size: 13 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0
Related Topics
multi-logic proof generator
Language: Python - Size: 13 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0