digikar99/pl-theorem-prover
Basic theorem prover for propositional logic that supports `and or not` operators. Currently, this has no dependencies.
source-id=2448 version=3 project-id=2282 project-version=0
| Type | GITHUB |
|---|---|
| Created at | 2026-03-08 02:44:28 UTC |
| Source | https://github.com/digikar99/pl-theorem-prover |
| Branch or tag | |
| Last seen commit | 60b982ebfc7cca23e44be53a0bfa2d05de3cf623 |
| Release | http://dist.ultralisp.org/archive/2448/digikar99-pl-theorem-prover-20260308024422.tgz |
| Systems |
|
| Distributions | ultralisp |
| Last check | Finished 6 days 9 hours ago. Next check will be made in 14 hours 39 minutes. |