{
 "id": "formal-applied-math/formal-mathfin-theorems",
 "owner": "formal-applied-math",
 "name": "formal-mathfin-theorems",
 "downloads": 678,
 "likes": 0,
 "last_modified": "2026-10-31T12:29:40.000Z",
 "stated_licence": "apache-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [
  "other"
 ],
 "citation": "Licensed under Apache-2.0. Users should cite the underlying library\n(DOI: 10.5281/zenodo.20477781, which resolves to the latest release) and associated paper\n([arXiv:2606.01356](https://arxiv.org/abs/2606.01356)).\n\n*(This card and the data file are regenerated by the source repository's CI\non every push that changes the benchmark corpus — counts are computed, not\nhand-maintained.)*",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "8e96f642ed9837969e741e7b84c6ece18b7ab322",
 "stated_evidence": "https://huggingface.co/datasets/formal-applied-math/formal-mathfin-theorems/blob/8e96f642ed9837969e741e7b84c6ece18b7ab322/README.md",
 "file_evidence": "https://huggingface.co/datasets/formal-applied-math/formal-mathfin-theorems/tree/8e96f642ed9837969e741e7b84c6ece18b7ab322",
 "card_nc": false
}