Registered
by
Mate Soos
This project maintains the Simple Theorem Prover and some associated libraries
Project information
- Maintainer:
- Simple Theorem Prover
- Driver:
- Mate Soos
- Licence:
- MIT / X / Expat Licence
View full history Series and milestones
trunk series is the current focus of development.