Skip to content
build lean

Update leadeboard with Goedel-Prover-SFT. #318

Sign in to view logs

Update leadeboard with Goedel-Prover-SFT.

Update leadeboard with Goedel-Prover-SFT. #318

Triggered via push January 28, 2025 19:47
@GeorgeTsoukalasGeorgeTsoukalas
pushed 46a7dad
george
Status Success
Total duration 23m 8s
Artifacts –

lean.yml

on: push
Build
22m 55s
Build
Fit to window
Zoom out
Zoom in