Jekyll2026-10-31T22:50:20+00:00https://michaelstollbayreuth.github.io/RatpointsLean/feed.xmlA Lean 4 model of ratpoints, the program that finds the rational points of bounded height on hyperelliptic curves, with proofs that it meets its specification