nclarius / pyPL

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

Alternatives and similar repositories for pyPL:

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