← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

FLT

github.com

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Open source

Visit github.comexternal siteGitHub1,055 starsexternal site

Reactions (2)

Similar products

by description similarity

  1. lean-lsp-mcp

    Lean Theorem Prover MCP

    GitHub549 starsgithub.comOpen sourcelatest reaction

  2. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

    GitHub1,341 starsgithub.comOpen sourcelatest reaction

  3. paperproof

    Lean theorem proving interface which feels like pen-and-paper proofs.

    GitHub555 starsgithub.comOpen sourcelatest reaction

  4. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub1,356 starsgithub.comOpen sourcelatest reaction

  5. The A-C Coupling Theorem

    Solving Diophantine Systems in O(1)

    Hacker News5 ptszenodo.orglatest reaction