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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Lean proofs (oracle)
16s
16s