SZLHOLDINGS/lean-proofs-v1 download history
SZLHOLDINGS/lean-proofs-v1 is an other dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,033 times (426 in the last 7 days), and 2,334 times in total. It ranks #18,851 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. SZLHOLDINGS/lean-proofs-v1 The complete Lean 4 theorem library for the SZL Holdings Ouroboros Inv