← Trending

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

paperproof

github.com

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

Open source

Visit github.comexternal siteGitHub555 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

    GitHub1,341 starsgithub.comOpen sourcelatest reaction

  2. lean-lsp-mcp

    Lean Theorem Prover MCP

    GitHub549 starsgithub.comOpen sourcelatest reaction

  3. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub1,356 starsgithub.comOpen sourcelatest reaction

  4. FLT

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

    Hacker News127 ptsGitHub1,055 starsgithub.comOpen source2 reactionslatest reaction

  5. Algebruh

    Cross-check arithmetic claims with Z3, cvc5, and Lean

    Hacker News14 ptsGitHub8 starsgithub.comOpen source2 reactionslatest reaction