nixpkgs / coqPackages.ITree - A Library for Representing Recursive and Impure Programs in Coq

Homepage - https://github.com/DeepSpec/InteractionTrees

Maintainers - Lars Rasmusson

Releases

4.0.0 (expand/collapse)
From commit 00da8a02 to 00460bd6