All datasets / callensxavier

callensxavier/leanflow-phase12-benchmark

158 downloads in 30 days0 likesLast modified 4 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 11a8a3c
Licence files: No licence file at the top level of the repositoryEvidence: file list at 11a8a3c
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

@techreport{callens2026leanflow,
  title   = {LeanFlow: Dual-Scale Navier--Stokes Regularisation with Lean 4 Formal
             Verification and Karpathy Ratchet Auto-Research},
  author  = {Xavier Callens},
  year    = {2026},
  month   = {September},
  note    = {Enterprise Edition v2.0 (Revised per Peer Review), Phase 12},
  url     = {https://github.com/xaviercallens/SocrateAI-Numeric-DualScale-Solver}
}

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": "callensxavier/leanflow-phase12-benchmark" })
signal: "permissive"
stated_licence: "apache-2.0"
sources: 0