https://github.com/DeepSpec/InteractionTrees
Coq182
7 months ago
A Library for Representing Recursive and Impure Programs in Coq
MIT License