search

DeepSpec / InteractionTrees

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

added mrec_rutt reasoning principle #248

Closed lag47 closed 1 year ago

lag47 commented 1 year ago

Fixed the condition which was stronger than necessary

Lysxia commented 1 year ago

Thanks!