The goal of this project is to bring most of Event-B and refinement calculus into Python
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool