All datasets / SZLHOLDINGS

SZLHOLDINGS/thesis-v18-formal-verification

1,114 downloads in 30 days0 likesLast modified 28 Sep 2026View on Hugging Face

Permissive or share-alike

The declared licence (apache-2.0) is classified as permissive.

Declared licence: apache-2.0, from the tagEvidence: README.md at 9a08e0c
Licence files: No licence file at the top level of the repositoryEvidence: file list at 9a08e0c
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

other

Citation text from the card

@misc{lutar_szl_ouroboros,
  author    = {Lutar, Stephen P., Jr.},
  title     = {SZL Holdings --- The Ouroboros Thesis (Governed Post-Determinism)},
  year      = {2026},
  publisher = {Zenodo},
  doi       = {10.5281/zenodo.19944926},
  url       = {https://doi.org/10.5281/zenodo.19944926},
  note      = {Concept DOI --- always resolves to the latest version. ORCID 0009-0001-0110-4173. CC-BY-4.0.}
}

@misc{lutar_ouroboros_v18,
  author    = {Lutar, Stephen P., Jr.},
  title     = {The Ouroboros Thesis v18 --- Multi-track Substrate Expansion},
  year      = {2026},
  publisher = {Zenodo},
  doi       = {10.5281/zenodo.20434276},
  url       = {https://doi.org/10.5281/zenodo.20434276}
}

All datasets marked Permissive or share-alike | 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": "SZLHOLDINGS/thesis-v18-formal-verification" })
signal: "permissive"
stated_licence: "apache-2.0"
sources: 0