Skip to content
Lean (build)

[WIP] Add proof of substitution lemma #45

Sign in to view logs

[WIP] Add proof of substitution lemma

[WIP] Add proof of substitution lemma #45

Triggered via push January 25, 2024 12:05
@AnatolayAnatolay
pushed c13cfd8
substitution
Status Success
Total duration 1m 47s
Artifacts –

lean.yml

on: push
Build
1m 38s
Build
Fit to window
Zoom out
Zoom in