PV0 EMTST: Engineering the Meta-Theory of Session Typesproof assistant library for reasoning about session types

EMTST is a library to aid implementing session calculi type systems.

Application domain/field

Type of tool

Library

Comments

License: GPL-3.0
Library Session types

Links

Repository (including case studies): https://github.com/emtst/emtst-proof

Last commit date

Related papers

https://doi.org/10.1007/978-3-030-45237-7_17 (TACAS '20)

Last publication date

17 April 2020

Related tools

Metalib, AutoSubst

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.