At a Glance
| Applications | Model Checker Model Generator Theorem Prover |
| Developers | Matthew Fernandez |
| Licenses | Unilicense |
| Maintenance | Actively Maintained |
Description
pyPL is a naive model generator, model checker and theorem prover.
| Applications | Model Checker Model Generator Theorem Prover |
| Developers | Matthew Fernandez |
| Licenses | Unilicense |
| Maintenance | Actively Maintained |
pyPL is a naive model generator, model checker and theorem prover.