The goal of this project is to bring most of Event-B and refinement calculus into Python
Primary LanguageJupyter Notebook