Skip to content
proofs

proofs(lean4): land the green half of the η extension (PARTIAL — ET-1..3 η) #11

Sign in to view logs

proofs(lean4): land the green half of the η extension (PARTIAL — ET-1..3 η)

proofs(lean4): land the green half of the η extension (PARTIAL — ET-1..3 η) #11

Triggered via pull request July 28, 2026 15:28
@hyperpolymathhyperpolymath
opened #34
proofs/l1-eta-extension
Status Success
Total duration 39s
Artifacts –

proofs.yml

on: pull_request
lean4 proof gate
33s
lean4 proof gate
Fit to window
Zoom out
Zoom in