Skip to content
Test Generated JSON

Augment rewrite rule proving tactics for saturated arithmetic #3990

Sign in to view logs

Augment rewrite rule proving tactics for saturated arithmetic

Augment rewrite rule proving tactics for saturated arithmetic #3990

Triggered via pull request December 10, 2023 03:43
@JasonGrossJasonGross
synchronize #1783
JasonGross:more-rewrite-proofs-only
Status Success
Total duration 31s
Artifacts –

json.yml

on: pull_request
test-json
19s
test-json
Fit to window
Zoom out
Zoom in