DeepSpec / InteractionTreesLinks

A Library for Representing Recursive and Impure Programs in Coq
223Updated this week

Alternatives and similar repositories for InteractionTrees

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

Sorting: