Geeks
17451k
/
eventb-to-txt
Event-B to txt converter
Primary Language
Python
MIT License
MIT
eventb-to-txt GitHub
Markdown
Readme
2
Issues
6
Stargazers
2
Watchers
Stargazers
BouweCeunen
evdenis
fangbin
IRIF
kornevgen
ligurio
vasyavasilevs