Weber, R. (2025). PRISM proofs (Version 1.0.0) [Computer software]. https://github.com/CI-CSE/PRISM