SZLHOLDINGS/lean-theorem-tree download history
SZLHOLDINGS/lean-theorem-tree is an other dataset on the Hugging Face Hub. In the last 30 days it was downloaded 719 times (375 in the last 7 days), and 1,155 times in total. It ranks #24,846 among datasets by monthly downloads.
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance. Lean Theorem Tree — Declaration Manifest Snapshot (269 @ c4d13795) Doctrine v11 LOCKED. N