Pradheep1647/lean-language-docs-sft download history

Pradheep1647/lean-language-docs-sft is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 44 times (10 in the last 7 days), and 117 times in total. It ranks #203,866 among datasets by monthly downloads.

Lean Language Docs SFT Instruction/code examples for learning Lean 4 as a programming language. The examples are generated from the introductory Getting to Know Lean sections of the official Functional Programming in Lean book, then filtered and compiled locally. Data

Models trained on lean-language-docs-sft

1 models list it as training data.

• Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft 9 downloads in 30 days

Open Pradheep1647/lean-language-docs-sft on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.