Project Page Index Table of Contents

ITree.Eq

Equivalences for interaction trees

From ITree.Eq Require Export
  Shallow
  Eqit
  UpToTaus
  SimUpToTaus
  EuttExtras.

Generated by coqdoc and improved with CoqdocJS