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

Published 20 hours ago • verified publisher icon coq-community

Autoinduct, Ltac, switch between versions depending on input

Open tlringer opened this issue 2 years ago • 0 comments

Maybe

tlringer avatar Jun 29 '23 09:06 tlringer