Proof

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

Sign in to view logs

Triggered via pull request June 19, 2026 18:16

jasisz

synchronize #585

lean-proof-minimize

Status Success

Total duration 8m 22s

Artifacts –

proof.yml

on: pull_request

Proof Export (Lean + Dafny)