Descente Infinie

By Sungjun Kim on AppTrack Ninja.

Your phone rechecks the proof

A proof is only worth what its checking is worth. In 1995 Andrew Wiles proved Fermat's Last Theorem. In 2026 that proof was written out in full, in a language a machine can check — more than a million named definitions and theorems. Why believe a million lines a machine wrote? Because a kernel checks the term, and the kernel does not know where the term came from. This app ships that kernel. Not a picture of one, not a green checkmark: the checker itself, running in your hand, on a proof exported from the real thing. MAKE THE MOVES Start with something you can hold in your head: n + 0 = n. Ta…

Categories: Education, Reference

App Store rankings, screenshots, estimates and similar apps for Descente Infinie.