Dataset · Hugging Face

cat-searcher/minif2f-lean4

Name: minif2f-lean4
Creator: cat-searcher
License: mit
Keywords: license:mit, size_categories:n<1K, format:json, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, region:us

Fixing the errors in some formal statements and informal proofs of minif2f-lean4.

View on Hugging FaceReport an issue

Author / organization	cat-searcher
License (as declared)	mit
Downloads	1.4K (as reported by Hugging Face)
Likes	7
Created	19 March 2024
Last updated at source	19 March 2024

Embed this entry

<iframe src="https://silytics.si/embed/item/88dca8bc-e2c2-4849-aea0-932259b88844" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

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

More from cat-searcher

cat-searcher/leandojo-benchmark-4-randomDataset

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