Skip to content
Lean Proofs

Echo-types as a type-system feature + decidability + let (proof work) #4

Sign in to view logs

Echo-types as a type-system feature + decidability + let (proof work)

Echo-types as a type-system feature + decidability + let (proof work) #4

Triggered via pull request June 3, 2026 17:58
@hyperpolymathhyperpolymath
synchronize #34
claude/hopeful-fermi-iXnba
Status Success
Total duration 21s
Artifacts –

lean-proofs.yml

on: pull_request
Build Lean proofs (oracle)
16s
Build Lean proofs (oracle)
Fit to window
Zoom out
Zoom in