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