Formal specifications
Repository from Github https://github.comligurio/specsRepository from Github https://github.comligurio/specs