Descente Infinie

퍼블리셔 Sungjun Kim 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…

카테고리: Education, Reference

의 App Store 순위, 스크린샷, 추정, 유사 앱. Descente Infinie.