DeepSpec
Popular repositories Loading
-
InteractionTrees
InteractionTrees PublicA Library for Representing Recursive and Impure Programs in Coq
Repositories
Showing 4 of 4 repositories
A Library for Representing Recursive and Impure Programs in Coq