Sequent Prover - ProB Documentation

Components
Documentation
Download
Bugs
Links
Team

Navigation
Special Pages
- Recent changes

User
- Log in

Sequent Prover

Retrieved from "https://prob.hhu.de/w/index.php?title=Sequent_Prover&oldid=6038"

Contact

Heinrich Heine University Düsseldorf
Group for Software Engineering and Programming Languages
To Website. Datenschutz/Privacy Policy.

Licence

All ProB components and source code
is distributed under the EPL v1.0 license. More information.

Copyright © Heinrich Heine University Düsseldorf, Group for Software Engineering and Programming Languages, 2025