Skip to content
deploy site

Add 2025 Autoformalization for the Working Mathematician at Brown (#589) #3046

Sign in to view logs

Add 2025 Autoformalization for the Working Mathematician at Brown (#589)

Add 2025 Autoformalization for the Working Mathematician at Brown (#589) #3046

Triggered via push February 3, 2025 14:44
@robertylewisrobertylewis
pushed a06c7f4
lean4
Status Success
Total duration 7m 7s
Artifacts –

build.yml

on: push
Build HTML
6m 59s
Build HTML
Fit to window
Zoom out
Zoom in