An extension to eauto that allows you to apply an arbitrary lemma from a hint database
Primary LanguageOCaml