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

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

Maintainers - Lars Rasmusson

Releases