Proof

proof-corpus: two new Method decompositions (prod prop_22, prop_23) #409

Sign in to view logs

Triggered via pull request June 19, 2026 22:19

jasisz

opened #588

the-method-frontier

Status Success

Total duration 8m 8s

Artifacts –

proof.yml

on: pull_request

Proof Export (Lean + Dafny)