← 트렌딩

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

LeanCopilot

github.com

LLMs as Copilots for Theorem Proving in Lean

오픈소스

github.com 방문외부 사이트GitHub1,341 스타외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. lean-lsp-mcp

    Lean Theorem Prover MCP

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

  2. paperproof

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

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

  3. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

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

  4. FLT

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

    Hacker News127점GitHub스타 1,055github.com오픈소스반응 2개최근 반응

  5. cslib

    The Lean Computer Science Library (CSLib)

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