Lean – Theorem Prover

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • lean4

    Lean 4 programming language and theorem prover

  • 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
  • mathlib

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

  • I think they end up similar. Although Lean 3 is much more geared towards writing proofs with the addition of mathlib [0] which aims to be a library of formalized mathematics.

    [0] https://github.com/leanprover-community/mathlib

  • exists-unique

    Discontinued A formalised proof of existence and uniqueness of solution to the simultaneous debt and equity pricing problem on a banking network.

  • [2] https://github.com/agjftucker/exists-unique

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

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
  • Lean 4.0.0, first official lean4 release

    10 projects | news.ycombinator.com | 7 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