Dataset · Hugging Face

Cartinoe5930/lean_solution

Name: lean_solution
Creator: Cartinoe5930
Keywords: region:us

Author / organization	Cartinoe5930
Downloads	283 (as reported by Hugging Face)
Likes	0
Created	21 May 2025
Last updated at source	21 May 2025

Embed this entry

<iframe src="https://silytics.si/embed/item/be44e16c-eddb-4634-92f7-384dd93c0f7e" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 2 days

283 now (-1 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from Cartinoe5930

Cartinoe5930/math_difficulty_dataDataset
Cartinoe5930/realmath_resultDataset
Cartinoe5930/ZZAMTONGDataset
Cartinoe5930/DeepSeek-Prover-V2-dataset-newDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.