wrkgn.
← All projects
Project record01 mention
Originally shared on Hacker News

IUT LEAN Fable

A Lean-based formal proof effort for the ABC conjecture, presented as the IUT LEAN Fable and vibe-coded.

Last shared
01 / Source history

Shared over time

Each entry reflects what was shared on that date. Details may have changed since then.

  1. IUT LEAN Fable

    A Lean-based formal proof effort for the ABC conjecture, presented as the IUT LEAN Fable and vibe-coded.

    Posted by @rawdod · Original comment ↗

    “I vibe-proofed the ABC conjecture (IUT LEAN Fable): https://github.com/oneman/motizukipdf and https://1234567890.help/”
    Links shared