Skip to content
Check for copyright header

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

Sign in to view logs

fix: correctly handle explicit monotonicity proofs in mutual definitions

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

Triggered via pull request June 13, 2025 04:53
@cppiocppio
opened #8763
cppio:mutual_monotonicity
Status Success
Total duration 49s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
46s
check-lean-files
Fit to window
Zoom out
Zoom in