Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / lean-project

197 Bytes

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

mikeljl's picture

Phase 3: bake Mathlib v4.24.0 + lake exe cache get into image

d966f12 16 days ago

lakefile.lean

172 Bytes
Phase 3: bake Mathlib v4.24.0 + lake exe cache get into image 16 days ago
lean-toolchain

25 Bytes
Phase 2: add elan + Lean v4.24.0 toolchain to image 16 days ago