GitHub topics: contradiction
principle-of-contradiction/principle-of-contradiction.github.io
How do we know… anything?
Size: 42 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0
ixjf/logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
Language: Rust - Size: 3.26 MB - Last synced at: 11 months ago - Pushed at: almost 6 years ago - Stars: 15 - Forks: 1
savvybit/TrueStory
Be your own journalist!
Language: Python - Size: 10.3 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
raulpy271/ValidationMethods
🧮 validation methods of propositional logic
Language: Haskell - Size: 163 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
