Skip to content
Lean (build)

Fix errors in Minimal/Calculus.lean #183

Sign in to view logs

Fix errors in Minimal/Calculus.lean

Fix errors in Minimal/Calculus.lean #183

Triggered via push September 12, 2024 07:57
@eyihluyceyihluyc
pushed e16b194
update-toolchain
Status Success
Total duration 5m 10s
Artifacts –

lean.yml

on: push
Build
5m 2s
Build
Fit to window
Zoom out
Zoom in