mathlib
There are 21 repositories under mathlib topic.
Crispher/MathlibExplorer
Visualizing the network of math theories.
jingyuexing/MathLib
The Math Algorithm
BoltonBailey/formal-snarks-project
A formal verification of Linear PCP SNARKs.
bhgomes/lean-riemann-hypothesis
Riemann Hypothesis in Lean
anic17/complex
C library to work with complex numbers.
eric-wieser/lean-graded-rings
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
MarufHasan24/mathlib-cpp
mathib cpp version.
MarufHasan24/mathlib
A dynamic library of math
terrehbyte/terrehbyte-math-library
Game Math Library - Student Project @ AIE
eric-wieser/mathlib-import-graph
An interactive viewer for the mathlib import graph
petnica-rac-seminari/interaktivno_dokazivanje_teorema_2023
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
SamuraiPolix/Systems-Programming-A-Ex1
Simple math project in C to practice using 'gcc', makefiles and libraries as an assignment in Systems Programming A @ Ariel University
themathqueen/monlib
Formalising non-commutative graph theory in Lean
ConcavTech/math-lib
It is java math library. It will generate the questions and answer for the different math levels. The aim is to generate the open source library for the math learning purpose.
DarkHawk727/MathLib
A Python Library for Computing various Mathematical Functions and Constants
Karthik-Dulam/reals-quasi-morphisms
Reals defined using Quasi-Morphisms formalized in Lean
paulrho/mthtest2
maths benchmark test (numerical position of moon)
sumantchopdata/intro_to_automated_proof_checking
A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library
eric-wieser/divf-2022
CUED division F conference presentation
oxarbitrage/salsa20
Attempt to formalize salsa20 in lean
XyonX/CoreMathLibrary
CPP Math Library for Mathematical operations