← Trending

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

LeanDojo

github.com

Tool for data extraction and interacting with Lean programmatically.

Open source

Visit github.comexternal siteGitHub852 starsexternal site

Install and connect

From the official MCP Registry, Homebrew, npm, PyPI, and crates.io. Matched by repository or domain once a day.

Reactions (1)

Similar products

by description similarity

  1. analysis

    A Lean companion to Analysis I

    GitHub1,983 starsgithub.comOpen sourcelatest reaction

  2. cslib

    The Lean Computer Science Library (CSLib)

    GitHub801 starsgithub.comLibraryOpen sourcelatest reaction

  3. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub1,356 starsgithub.comOpen sourcelatest reaction

  4. Proofbase

    Build and manage lean start up experiments

    Product Hunt96 votesproofbase.iolatest reaction

  5. physlib

    A project to digitalise results from physics into Lean.

    GitHub829 starsgithub.comOpen sourcelatest reaction