Skip to content
Tactic to add proof of goal as a hint.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
.gitignore
LICENSE
Make
README
abstract_hint_plugin.ml4

README

This plugin contains a tactic to add a proof of a subgoal as a lemma and a hint.

The code for this plugin is due to Sean Wilson, from the rippling plugin.
Something went wrong with that request. Please try again.