Interaction Trees

https://github.com/deepspec/interactiontrees

Interaction Trees is a library for representing recursive and impure programs in Coq using...

Tokens:6,530
Snippets:48
Trust Score:7.7
License:MIT
Update:6 months ago
Tokens:
Raw