GitHub repository: 17451k/eventb-to-txt
Primary language: Python
Created: 2018-04-06T08:02:37Z
Description: Event-B to txt converter