GitHub repository: snu-sf/InteractionTrees
Description: A Library for Representing Recursive and Impure Programs in Coq