KokunoYumeto/open-math-proof-checks

Permissive or share-alike

The declared licence (cc0-1.0) is classified as permissive.

Licence facts reported by the dataset and its declared sources. Not legal advice, and not a grant of permission to use the dataset.

Evidence

• Declared licence: cc0-1.0 (from the tag)
• Licence files: no licence file at the top level of the repository
• Access gated on Hugging Face: no

Declared sources

No source datasets listed in the card metadata.

Signal

See all datasets marked Permissive or share-alike.

Tasks

• text-generation

Downloads (30 days): 10899. Likes: 0. Last modified: 2026-10-16T06:40:35.000Z.

View KokunoYumeto/open-math-proof-checks on Hugging Face | JSON