Skip to content
Build

Update Finite.lean #81

Sign in to view logs

Update Finite.lean

Update Finite.lean #81

Triggered via push October 27, 2024 03:23
@yuanyi-350yuanyi-350
pushed 2893cf6
others
Status Success
Total duration 1m 53s
Artifacts –

build.yaml

on: push
build
1m 44s
build
Fit to window
Zoom out
Zoom in