Skip to content
build

Another bound lemma #96

Sign in to view logs

Another bound lemma

Another bound lemma #96

Triggered via push December 30, 2025 20:14
@girvinggirving
pushed 20c2751
main
Status Success
Total duration 4m 48s
Artifacts –

lean.yml

on: push
build
4m 45s
build
Fit to window
Zoom out
Zoom in