/metaprogramming-rosetta-stone

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

Primary LanguageCoqMIT LicenseMIT

Stargazers

No one’s star this repository yet.