search

DeepSpec / InteractionTrees

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

Simplify euttVC. #133

Closed gilhur closed 5 years ago

gilhur commented 5 years ago

Simplified the definition of euttVC in a way that it is easier to explain.

Lysxia commented 5 years ago

Thanks!