← Trending

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

LeanCopilot

github.com

LLMs as Copilots for Theorem Proving in Lean

Open source

Visit github.comexternal siteGitHub1,341 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. lean-lsp-mcp

    Lean Theorem Prover MCP

    GitHub549 starsgithub.comOpen sourcelatest reaction

  2. paperproof

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

    GitHub555 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. cslib

    The Lean Computer Science Library (CSLib)

    GitHub801 starsgithub.comLibraryOpen sourcelatest reaction