GitHub topics: multi-logic-proof
owings1/pytableaux
multi-logic proof generator
Language: Python - Size: 13 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0
Related Keywords
multi-logic proof generator
Language: Python - Size: 13 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0