← 트렌딩

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

FLT

github.com

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

오픈소스

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

반응 (2)

비슷한 프로덕트

설명이 비슷한 순

  1. lean-lsp-mcp

    Lean Theorem Prover MCP

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

  2. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

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

  3. paperproof

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

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

  4. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

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

  5. The A-C Coupling Theorem

    Solving Diophantine Systems in O(1)

    Hacker News5점zenodo.org최근 반응