callensxavier/socrateai-eta-quotients download history

callensxavier/socrateai-eta-quotients is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 427 times (118 in the last 7 days), and 427 times in total. It ranks #37,468 among datasets by monthly downloads.

Eta-Quotients in Lean 4 Machine-checked Lean 4 formalization of the arithmetic and analytic layers of Ligozat's criterion for eta-quotients f(z)  =  ∏δ∣Nη(δz)rδf(z) \;=\; \prod_{\delta \mid N} \eta(\delta z)^{r_\delta}f(z)=δ∣N∏​η(δz)rδ​ together with a precisely named obstruction to t

Open callensxavier/socrateai-eta-quotients on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.