PV6 ⊧ Rodintheorem prover

Links

• Wiki: https://wiki.event-b.org/index.php/User_Documentation_Overhaul
• SF: https://sourceforge.net/projects/rodin-b-sharp/
• Handbook: https://www3.hhu.de/stups/handbook/rodin/
• Last commit date: 29 April 2022

ProVerB specific

• Markdown description: view/edit
• Contained in the ProVerB22 dataset (paper + artefact)