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=2 project-id=2282 project-version=0
| Type | GITHUB |
|---|---|
| Created at | 2026-02-28 01:46:25 UTC |
| Source | https://github.com/digikar99/pl-theorem-prover |
| Branch or tag | |
| Last seen commit | c9c42b15606c091bcdc38ec389878700cf9776e3 |
| Release | http://dist.ultralisp.org/archive/2448/digikar99-pl-theorem-prover-20260228014619.tgz |
| Systems |
|
| Distributions | ultralisp |
| Last check | Finished 9 hours 46 minutes ago. Next check will be made in 1 hour 58 minutes. |