✦ AI use disclosure · I may use AI tools to assist my work, including code and pull requests. Everything is carefully reviewed and read by me before it goes out — I make sure I understand it, and I take responsibility for the result.
Pinned Loading
-
squarefree-fuglede-lean
squarefree-fuglede-lean PublicLean 4 formalization of square-free cyclic spectral-to-tiling and coprime prime-step descent, with explicit verification scope and reproducible checks.
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
