InteractionTrees

InteractionTrees

https://github.com/DeepSpec/InteractionTrees

Coq203

last month

Reviews

A Library for Representing Recursive and Impure Programs in Coq

Search similar apps

    License

    MIT License

    Share

    A Library for Representing Recursive and Impure Programs in Coq

    Creator

    DeepSpec

    Related apps