Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / cslib

382 kB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

mikeljl's picture

Add CSLib project-resident benchmark rows with in-project compilation

2d96aec about 2 months ago

Cslib
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
CslibTests
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
.gitignore

383 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
CODE_OF_CONDUCT.md

3.39 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
CONTRIBUTING.md

1.95 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
Cslib.lean

373 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
GOVERNANCE.md

2.04 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
LICENSE

11.4 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
NOTATION.md

2.16 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
ORGANISATION.md

1.35 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
README.md

725 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
lake-manifest.json

3.11 kB
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
lakefile.toml

717 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago
lean-toolchain

25 Bytes
Add CSLib project-resident benchmark rows with in-project compilation about 2 months ago