Lean: use match_bv to match on bitvectors for function clauses
#2129
| Job | Run time |
|---|---|
| 24m 34s | |
| 24m 34s |
match_bv to match on bitvectors for function clauses
#2129
| Job | Run time |
|---|---|
| 24m 34s | |
| 24m 34s |