Leave feedback Log In

Ultralisp.org ^{includes two thousand three
hundred ten projects}

Try: package:"reblocks/actions" to search all symbols exported from a package.

digikar99/pl-theorem-prover
#propositional-logic#semantic-tableau#theorem-proving

Basic theorem prover for propositional logic that supports `and or not` operators. Currently, this has no dependencies.

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

pl-theorem-prover.asd: pl-theorem-prover

Distributions

ultralisp

Last check

Finished 1 day 2 hours ago. Next check will be made in 1 day 1 hour.