Chain inequalities - Githubissues

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

Closed jellooo038 closed 2 years ago

jellooo038 commented 2 years ago

Missing feature: automation tactic informs user which parts of an inequality chain don't hold.