A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
MIT License
17
stars
5
forks
source link
Autoinduct, Ltac, switch between versions depending on input #9
Maybe