formal-proof Open-Source Projects

mathlib

36 1,639 8.8 Lean

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

principia

10 198 2.7 TeX

The Principia Rewrite (by LogicalAtomist)
InfluxDB

www.influxdata.com featured

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.

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).

formal-proofs 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
Which proof assistant is the best to formalize real analysis/probability/statistics?

3 projects | /r/Coq | 18 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
A note from our sponsor - SaaSHub
www.saashub.com | 4 May 2024

SaaSHub helps you find the best software and product alternatives Learn more →