/ctrees

An itree-like data-structure to additionally support internal non-determinism

Primary LanguageCoqOtherNOASSERTION

No issues in this repository yet.