datalicense

All datasets / PureOne

PureOne/Hall-Area-Conjecture-Constructive-Proof

133 downloads in 30 days0 likesLast modified 16 Sep 2026View on Hugging Face
Unclear

The checks could not identify a recognised licence ID in the dataset's metadata.

Declared licence
other, from the tagEvidence: README.md at fdbfa51
Licence files
LICENSE.md, detected as cc-by-4.0Evidence: LICENSE.md at fdbfa51
Declared sources
None listed in the card metadata
Access gated on Hugging Face
No
PureOne/Hall-Area-Conjecture-Constructive-ProofPureOne/Hall-Area-C…other: declared licenceotherdeclared licenceREADME.md ↗cc-by-4.0: licence filecc-by-4.0licence fileLICENSE.md ↗
PureOne/Hall-Area-Conjecture-Constructive-ProofPureOne/Hall-Ar…other: declared licenceotherdeclared licenceREADME.md ↗cc-by-4.0: licence filecc-by-4.0licence fileLICENSE.md ↗
Each cell links to what was checked: a file, a file list or a Hub record.

Citation text from the card

Use [`CITATION.cff`](CITATION.cff) or [`CITATION.bib`](CITATION.bib). Until independent review, please preserve the status phrase **“AI-generated, unreviewed proposed proof.”**

All datasets marked Unclear | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "PureOne/Hall-Area-Conjecture-Constructive-Proof" })
signal: "unclear"
stated_licence: "other"
sources: 0