Skip to content
Lean 4 Playground

Eric code #98

Sign in to view logs

Eric code

Eric code #98

Triggered via push December 15, 2023 13:21
@utensilutensil
pushed e8ade3b
master
Status Success
Total duration 11m 21s
Artifacts –

lean4.yml

on: push
Matrix: Lean 4 Examples
deploy
9s
deploy
Fit to window
Zoom out
Zoom in