Lean: use match_bv to match on bitvectors for function clauses
#2056
This workflow is awaiting approval from a maintainer in #970
Triggered via pull request
February 11, 2025 18:03
arthur-adjedj
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #970
formatting.yml
on: pull_request
Matrix: build
Waiting for pending jobs