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

Published 20 hours ago • verified publisher icon coq-community
→

Metadata

A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]

Results 11 metaprogramming-rosetta-stone issues
Sort by recently updated
recently updated
newest added

Autoinduct, Ltac, Part 2

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

tlringer avatar tlringer

← Metadata

16
Stars
5
Forks
Watchers

Owner

verified publisher icon coq-community

Metadata

A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]

Back