DeepSpec / InteractionTreesLinks

A Library for Representing Recursive and Impure Programs in Coq
220Updated 3 months ago

Alternatives and similar repositories for InteractionTrees

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

Sorting: