search

DeepSpec / InteractionTrees

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

added mrec_rutt reasoning principle #247

Closed lag47 closed 1 year ago

lag47 commented 1 year ago

Added the mrec reasoning principle Calvin was asking about.