- coq >= 8.15
- coq-paco >= 4.1.2
- coq-itree >= 5.2.0
run make
Definitions for Heterogenous Event Relations and QuantType typeclass are in theories/Basics
Definitions for ITrees variant, EnTrees, are in theories/Core
Key theorems for equational theory of EnTrees are intheories/Eq
Definitions and theorems for specifications over EnTrees are in theories/Ref