Skip to content
Proof

aver proof --minimize: collapse each proof portfolio to its proven branch #404

Sign in to view logs

aver proof --minimize: collapse each proof portfolio to its proven branch

aver proof --minimize: collapse each proof portfolio to its proven branch #404

Triggered via pull request June 19, 2026 18:39
@jasiszjasisz
synchronize #585
lean-proof-minimize
Status Success
Total duration 8m 28s
Artifacts –

proof.yml

on: pull_request
Proof Export (Lean + Dafny)
8m 25s
Proof Export (Lean + Dafny)
Fit to window
Zoom out
Zoom in