Datasetpublic

schordingerzhu/lean-mathlib-hashmap

sourceHugging Faceapache-2.0updated 6mo agoView on Hugging Face

1likes42downloads

2 commits on main

d4bbb7b6mo ago

Upload folder using huggingface_hub

schordingerzhu

d085fd86mo ago

initial commit

schordingerzhu