DeepSpec / InteractionTreesLinks

A Library for Representing Recursive and Impure Programs in Coq
228Updated 3 weeks ago

Alternatives and similar repositories for InteractionTrees

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

Sorting: