All models are stored as zip archives that can be imported into Rodin. Also there are txt versions of the models generated by eventb-to-txt script, which can be used to view the code of the models without Rodin.
All models are stored as zip archives that can be imported into Rodin. Also there are txt versions of the models generated by eventb-to-txt script, which can be used to view the code of the models without Rodin.