search

impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

Hint fixes #30

Closed jim-portegies closed 9 months ago

jim-portegies commented 9 months ago

Fixes for the hints and priorities to make "We conclude that" faster with a simple induction proof. The problem was mainly the congruence tactic that took a long time.