Skip to content
Backport

fix: correctly handle explicit monotonicity proofs in mutual definitions #10557

Sign in to view logs

fix: correctly handle explicit monotonicity proofs in mutual definitions

fix: correctly handle explicit monotonicity proofs in mutual definitions #10557

Triggered via pull request June 13, 2025 15:19
@nomeatanomeata
closed #8763
Status Success
Total duration 6s
Artifacts –

backport.yml

on: pull_request_target
Backport
2s
Backport
Fit to window
Zoom out
Zoom in