phanerozoic/Lean4-Qq download history
phanerozoic/Lean4-Qq is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 29 times (8 in the last 7 days), and 215 times in total. It ranks #281,348 among datasets by monthly downloads.
Lean4-Qq Qq provides type-safe expression quotations for constructing object-level expressions in meta-level Lean 4 code. Source Repository: https://github.com/leanprover-community/quote4 Commit: 8d33324ee877e9735d2829bc6f1f439e60cf98b1 Files: 28 License: apache-2.0