Source
Source | Size | ||
---|---|---|---|
.. | |||
__init__.py | 26 B | ||
abductive-syllogism.scm | 3.91 KB | ||
conditional-syllogism.scm | 8.40 KB | ||
disjunctive-syllogism.scm | 4.33 KB | ||
README.md | 2.81 KB | ||
syllogism-boat.scm | 2.15 KB | ||
syllogism-canadian.scm | 3.52 KB | ||
syllogism_r2l_pln_pipeline.py | 3.67 KB | ||
syllogisms.txt | 6.44 KB | ||
test_syllogisms.py | 6.84 KB |