feat: add SMT-LIB overflow on addition for bitvectors (uadd_overflow,sadd_overflow, uadd_overflow_eq,sadd_overflow_eq) and support theorems
#6395
Triggered via pull request
January 14, 2025 14:36
leanprover-bot
leanprover-bot
labeled
#6628
Status
Skipped
Total duration
2s
Artifacts
–