The math library of Lean 4

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

Visualizing the network of math theories.

Mathlib search tool

Cross-platform SSE/AVX/NEON-accelerated math library, coming with a common library to be used in HLSL/C++ code

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

Hosts the website for mathlib and other Lean community infrastructure.

A formal verification of Linear PCP SNARKs.

Markdown file of the list and explanations of all mathlib4 tactics

The Math Algorithm

Riemann Hypothesis in Lean

Development tools for https://github.com/leanprover-community/mathlib

List of the output of #help command of mathlib4, including list of all tactics, commands...etc

Generate HTML documentation for mathlib and Lean

Live Linux for Mathematical Software

Palm OS shared math library

Some mathematical extensions to SuperCollider

No description available

No description available

Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

MathLib DAC 2023 version

C library to work with complex numbers.

Synport output from mathport for mathlib3

Math Library for Unity

This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.

Unofficial repository for the experimental porting of mathlib into lean4

MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to transformations of containers using overloaded operators, quadratic functions, and various mathematical functions.

The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics

No description available

A compilation of most useful math libraries for java