datalicense

All datasets / phanerozoic

phanerozoic/Coq-UniMath-QA

36 downloads in 30 days1 likesLast modified 10 Dec 2024View 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 5184548
Licence files
license.md, detected as mitEvidence: license.md at 5184548
Declared sources
None listed in the card metadata
Access gated on Hugging Face
No
phanerozoic/Coq-UniMath-QAphanerozoic/Coq-Uni…other: declared licenceotherdeclared licenceREADME.md ↗mit: licence filemitlicence filelicense.md ↗
phanerozoic/Coq-UniMath-QAphanerozoic/Coq…other: declared licenceotherdeclared licenceREADME.md ↗mit: licence filemitlicence filelicense.md ↗
Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

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": "phanerozoic/Coq-UniMath-QA" })
signal: "unclear"
stated_licence: "other"
sources: 0