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 2

Open tlringer opened this issue 2 years ago • 0 comments

Implement Part 2 in Ltac, to the degree this is possible.

tlringer avatar Jun 28 '23 12:06 tlringer