Added tactic for unfolding that prints a message instead of throwing an errror. - Githubissues

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Added tactic for unfolding that prints a message instead of throwing an errror. #25

Closed jellooo038 closed 10 months ago

jellooo038 commented 10 months ago

For internal use by Waterproof editor only.