Leave feedback Log In

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

Try: signal - this will search in symbol's name and documentation.

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

Waiting in the queue. Position: 1205.