Skip to content

GitLab

big_op: avoid erewrite in proofs

2 jobs for !757 with glen/big_op-TCOr-Affine in 12 minutes and 32 seconds (queued for 4 seconds)
merge request
48817ac9
1 related merge request: !757 big_op: weaken all Absorbing conditions using TCOr and Affine