search

coq-community / metaprogramming-rosetta-stone

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, document Ltac1 version in README #12

Closed tlringer closed 1 year ago