metaprogramming-rosetta-stone icon indicating copy to clipboard operation
metaprogramming-rosetta-stone copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Loosen autoinduct Ltac assumptions if possible; otherwise document

Open tlringer opened this issue 2 years ago • 0 comments

tlringer avatar Jun 28 '23 12:06 tlringer