Skip to content

Scheduled Update

Scheduled Update #260

Testbed  /  Build yangky11/miniF2F-lean4 on leanprover/lean4:v4.11.0-rc1

succeeded Aug 11, 2024 in 2m 41s