/ATP

ATP system written in mCRL2

MIT LicenseMIT

Watchers