← 트렌딩

Tangerine Index는 ChatGPT 이후 나온 프로덕트와 사람들의 반응을 싣습니다.

LeanDojo

github.com

Tool for data extraction and interacting with Lean programmatically.

오픈소스

github.com 방문외부 사이트GitHub852 스타외부 사이트

설치·연결

공식 MCP Registry, Homebrew, npm, PyPI, crates.io에서 저장소나 도메인으로 맞춰 하루 한 번 가져옵니다.

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. analysis

    A Lean companion to Analysis I

    GitHub스타 1,983github.com오픈소스최근 반응

  2. cslib

    The Lean Computer Science Library (CSLib)

    GitHub스타 801github.com라이브러리오픈소스최근 반응

  3. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub스타 1,356github.com오픈소스최근 반응

  4. Proofbase

    Build and manage lean start up experiments

    Product Hunt추천 96proofbase.io최근 반응

  5. physlib

    A project to digitalise results from physics into Lean.

    GitHub스타 829github.com오픈소스최근 반응