Repo

FirstPassageLinearTransport-Palomar

by Idris Ali Shaik · Zeta/Directi

Lean 4 Palomar package for exact polylogarithmic Collatz descent in natural density

Built withLeancollatz-conjectureformal-verificationlean4mathlibnatural-density

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.