nclarius / pyPL

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
19Updated 2 months ago

Alternatives and similar repositories for pyPL:

Users that are interested in pyPL are comparing it to the libraries listed below