← 트렌딩

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

analysis

github.com

A Lean companion to Analysis I

오픈소스

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

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. LeanDojo

    Tool for data extraction and interacting with Lean programmatically.

    GitHub스타 852github.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. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

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

  5. algorithm-analysis-deep-dive

    An open-access course on algorithm analysis

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