DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
216Updated last month

Alternatives and similar repositories for InteractionTrees:

Users that are interested in InteractionTrees are comparing it to the libraries listed below