Lean formal-mathematics

Open-source Lean projects categorized as formal-mathematics

Lean formal-mathematic Projects

formal-mathematics
  • mathlib

    Lean 3's obsolete mathematical components library: please use mathlib4

  • Project mention: An Easy-Sounding Problem Yields Numbers Too Big for Our Universe | news.ycombinator.com | 2023-12-04
  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Lean formal-mathematics discussion

Log in or Post with

Lean formal-mathematics related posts

  • An Easy-Sounding Problem Yields Numbers Too Big for Our Universe

    1 project | news.ycombinator.com | 4 Dec 2023
  • Towards a new SymPy: part 2 – Polynomials

    1 project | news.ycombinator.com | 8 Sep 2023
  • It's not mathematics that you need to contribute to (2010)

    1 project | news.ycombinator.com | 18 Jul 2023
  • Did studying proof based math topics e.g. analysis make you a better programmer?

    1 project | news.ycombinator.com | 24 Jun 2023
  • [R] Large Language Models trained on code reason better, even on benchmarks that have nothing to do with code

    1 project | /r/MachineLearning | 14 May 2023
  • Is there a paid service where someone can explain a paper to me like I am 15?

    2 projects | /r/PhD | 1 Apr 2023
  • sigma >> capital pi

    1 project | /r/mathmemes | 1 Apr 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 20 Jun 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

Project Stars
1 mathlib 1,660

Sponsored
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com