chore: implement reduceCond for bv_decide #5945
Triggered via pull request
December 27, 2024 11:02
leanprover-community-bot
leanprover-community-bot
labeled
#6460
Status
Skipped
Total duration
2s
Artifacts
–