InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
199 stars
17 watching
50 forks
Language: Coq
last commit: 6 months ago
Linked from 2 awesome lists
InteractionTrees A Library for Representing Recursive and Impure Programs in Coq
coq-community/awesome-coq
uhub/awesome-coq