Lean: use match_bv to match on bitvectors for function clauses#970
Merged
bacam merged 1 commit intorems-project:sail2from arthur-adjedj:match_bvFeb 13, 2025
+329-12
match_bv to match on bitvectors for function clauses#970