Repo

shaikidris.github.io

by Idris Ali Shaik · Zeta/Directi

Graduate-level interactive explainer for quantitative Collatz descent

Built withHTMLcollatz-conjectureformalized-mathematicslean4number-theoryresearch-website

Comments · 0

No comments yet. Tried it? Tell Idris what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.