Skip to content
Check for copyright header

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

Sign in to view logs

fix: correctly handle explicit monotonicity proofs in mutual definitions

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

Triggered via pull request June 13, 2025 14:41
@cppiocppio
synchronize #8763
cppio:mutual_monotonicity
Status Success
Total duration 43s
Artifacts –

copyright-header.yml

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