Datasetpublic

totolerigolo/lean4-sft-dataset

sourceHugging Faceupdated 7mo agoView on Hugging Face

1likes16downloads

Dataset Card

No card is published for this repository, or it could not be fetched from Hugging Face right now.