← 트렌딩

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

paperproof

github.com

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

오픈소스

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

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

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

  2. lean-lsp-mcp

    Lean Theorem Prover MCP

    GitHub스타 549github.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. Algebruh

    Cross-check arithmetic claims with Z3, cvc5, and Lean

    Hacker News14점GitHub스타 8github.com오픈소스반응 2개최근 반응