aya-prover / aya-prover-proto

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
GNU General Public License v3.0
11 stars 0 forks source link

Enhance coverage checker #744

Closed ice1000 closed 3 years ago

ice1000 commented 3 years ago

So that even if you don't write impossible clauses, it will try to exhaust the patterns and make sure it's indeed impossible.