Skip to content

WIP: feat: prove that EquivUTT is transitive

4f96f19
Select commit
Loading
Failed to load commit list.
Draft

WIP: feat: define weak bisimulation for ITrees #49

WIP: feat: prove that EquivUTT is transitive
4f96f19
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs