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, Part 3

Open tlringer opened this issue 2 years ago • 0 comments

Implement Part 3 of autoinduct in Ltac, if possible.

tlringer avatar Jun 28 '23 12:06 tlringer