mathlib
There are 25 repositories under mathlib topic.
Crispher/MathlibExplorer
Visualizing the network of math theories.
BoltonBailey/formal-snarks-project
A formal verification of Linear PCP SNARKs.
jingyuexing/MathLib
The Math Algorithm
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
eric-wieser/mathlib-import-graph
An interactive viewer for the mathlib import graph
terrehbyte/terrehbyte-math-library
Game Math Library - Student Project @ AIE
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
oliversoeser/PPS-Lean
Formalising the results of Proofs and Problem Solving (MATH08059)
oxarbitrage/salsa20
Attempt to formalize salsa20 in lean
thisis-Shitanshu/lean_exercises
This repository contains a collection of mathematical exercises in Lean, covering topics like geometric series, binomial coefficients, and recursive functions. Ideal for learning formal proofs with Lean's theorem prover.
thisis-Shitanshu/lftcm2023
This repository holds exercises and solutions for the Lean for the Curious Mathematician 2023 (LftCM2023) workshop. Focused on formal mathematics with Lean 4, it provides a hands-on learning experience based on the "Mathematics in Lean" book. Updated in October 2024, it includes solutions and resources for exploring proofs and formal logic.
XyonX/CoreMathLibrary
CPP Math Library for Mathematical operations