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



License: GPL-3.0
Library Session types


Related papers

EMTST: Engineering the Meta-theory of Session Types (TACAS '20)

Last publication date

17 April 2020

Related tools

Metalib, AutoSubst

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.