callensxavier/socrateai-fricke-involution download history

callensxavier/socrateai-fricke-involution is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 244 times (15 in the last 7 days), and 244 times in total. It ranks #57,889 among datasets by monthly downloads.

Fricke Involution on Γ₀(N) — Lean 4 Formalization Machine-checked Lean 4 formalization of the Fricke involution WN=(0−1N0)W_N = \begin{pmatrix} 0 & -1 \\ N & 0 \end{pmatrix}WN​=(0N​−10​) on the congruence subgroup Γ₀(N), and of the operator it induces on modular forms — together with

Open callensxavier/socrateai-fricke-involution on Hugging Face

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