GitHub repository: DeepSpec/InteractionTrees
Primary language: Coq
Created: 2018-06-21T18:53:19Z
Description: A Library for Representing Recursive and Impure Programs in Coq