search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
203 stars 51 forks source link

Modularize Eq.UpToTaus #110

Closed Lysxia closed 5 years ago

Lysxia commented 5 years ago

To make the library easier to build in parallel and to make UpToTaus more approachable.