Spaces:

Hrushi
/

lean-migrate

Sleeping

App Files Files Community

lean-migrate / lean

61.8 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

Hrushi's picture

Upload folder using huggingface_hub

bf9c466 verified about 1 month ago

AuthSpec.lean

2.22 kB
Upload folder using huggingface_hub about 1 month ago
ExprSpec.lean

1.55 kB
Upload folder using huggingface_hub about 1 month ago
ExprSpecAeneas.lean

1.26 kB
Upload folder using huggingface_hub about 1 month ago
IntervalSpec.lean

2.54 kB
Upload folder using huggingface_hub about 1 month ago
IntervalSpecAeneas.lean

2.78 kB
Upload folder using huggingface_hub about 1 month ago
LSP_2026-04-05-17-17-31-9474+0530.log

24.6 kB
Upload folder using huggingface_hub about 1 month ago
LruSpec.lean

1.6 kB
Upload folder using huggingface_hub about 1 month ago
LruSpecAeneas.lean

2.14 kB
Upload folder using huggingface_hub about 1 month ago
PathSpec.lean

4.06 kB
Upload folder using huggingface_hub about 1 month ago
PathSpecAeneas.lean

1.92 kB
Upload folder using huggingface_hub about 1 month ago
PricingSpec.lean

4.17 kB
Upload folder using huggingface_hub about 1 month ago
SagaSpec.lean

3.3 kB
Upload folder using huggingface_hub about 1 month ago
ShortestPathSpec.lean

5.57 kB
Upload folder using huggingface_hub about 1 month ago
ShortestPathSpecAeneas.lean

2.51 kB
Upload folder using huggingface_hub about 1 month ago
lake-manifest.json

117 Bytes
Upload folder using huggingface_hub about 1 month ago
lakefile.lean

1.35 kB
Upload folder using huggingface_hub about 1 month ago
lean-toolchain

24 Bytes
Upload folder using huggingface_hub about 1 month ago