Skip to content
build lean

Update leaderboard with Goedel-Prover-SFT. #319

Sign in to view logs

Update leaderboard with Goedel-Prover-SFT.

Update leaderboard with Goedel-Prover-SFT. #319

Triggered via pull request January 28, 2025 19:47
@GeorgeTsoukalasGeorgeTsoukalas
opened #260
george
Status Success
Total duration 23m 34s
Artifacts –

lean.yml

on: pull_request
Build
23m 25s
Build
Fit to window
Zoom out
Zoom in