eventb-to-txt

PyPI page
Home page
Author: Ilya Shchepetkov
License: MIT
Summary: Event-B to txt converter
Latest version: 1.7


Downloads last day: 1
Downloads last week: 5
Downloads last month: 28
7-day smoothing