← 트렌딩

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

formal-conjectures

github.com

A collection of formalized statements of conjectures in Lean.

오픈소스

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

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

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

  2. Formalizing Principia Mathematica using Lean

    Rewriting Principia Mathematica in Lean

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

  3. analysis

    A Lean companion to Analysis I

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

  4. lean-lsp-mcp

    Lean Theorem Prover MCP

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

  5. paperproof

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

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