← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

analysis

github.com

A Lean companion to Analysis I

Open source

Visit github.comexternal siteGitHub1,983 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. LeanDojo

    Tool for data extraction and interacting with Lean programmatically.

    GitHub852 starsgithub.comOpen sourcelatest reaction

  2. cslib

    The Lean Computer Science Library (CSLib)

    GitHub801 starsgithub.comLibraryOpen sourcelatest reaction

  3. formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub1,356 starsgithub.comOpen sourcelatest reaction

  4. LeanCopilot

    LLMs as Copilots for Theorem Proving in Lean

    GitHub1,341 starsgithub.comOpen sourcelatest reaction

  5. algorithm-analysis-deep-dive

    An open-access course on algorithm analysis

    GitHub594 starsgithub.comOpen sourcelatest reaction