GitHub repository: tpcp-project/InteractionTrees
Primary language: Coq
Description: A Library for Representing Recursive and Impure Programs in Coq