Project Page Index Table of Contents Home

ITree.Eq

Equivalences for interaction trees

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

Generated by coqdoc and improved with CoqdocJS