DeepSpec / InteractionTreesLinks

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

Alternatives and similar repositories for InteractionTrees

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

Sorting: