An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
Primary LanguageCoqOtherNOASSERTION