← Trending

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

formal-conjectures

github.com

A collection of formalized statements of conjectures in Lean.

Open source

Visit github.comexternal siteGitHub1,356 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. Formalizing Principia Mathematica using Lean

    Rewriting Principia Mathematica in Lean

    Hacker News188 ptsGitHub143 starsgithub.comOpen source2 reactionslatest reaction

  3. analysis

    A Lean companion to Analysis I

    GitHub1,983 starsgithub.comOpen sourcelatest reaction

  4. lean-lsp-mcp

    Lean Theorem Prover MCP

    GitHub549 starsgithub.comOpen sourcelatest reaction

  5. paperproof

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

    GitHub555 starsgithub.comOpen sourcelatest reaction