Visualizing the network of math theories.
-
Updated
Jun 9, 2024 - Python
#
mathlib
Here are 33 public repositories matching this topic...
Riemann Hypothesis in Lean
-
Updated
Mar 3, 2021 - Lean
C library to work with complex numbers.
-
Updated
Jan 1, 2025 - C
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
-
Updated
Sep 21, 2022 - Lean
mathib cpp version.
open-source math mathematics hacktoberfest mathlib open-source-contributions hacktoberfest2023 mathlib-n hacktoberfest23
-
Updated
Oct 10, 2023 - C++
A math library I made for C++ because I'm high on math hahaha.
-
Updated
Dec 14, 2025 - C++
A dynamic library of math
nodejs javascript open-source math mathematics hacktoberfest mathlib open-source-contributions hacktoberfest2023 mathlib-n hacktoberfest23
-
Updated
Oct 9, 2023 - JavaScript
Deterministic, auditable Lean 4 + mathlib reasoning instrument (not an oracle): contracts, assumption surfacing, reduction scaffolds, dashboard + PDF reports.
theorem-proving proof-assistant deterministic formal-verification mathlib lean4 research-tooling auditibility
-
Updated
Jan 9, 2026 - Lean
A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.
-
Updated
Jan 6, 2026 - Lean
Data science practice with python and pandas
-
Updated
Aug 21, 2025 - Jupyter Notebook
Formalising non-commutative graph theory in Lean
-
Updated
Mar 20, 2024 - Lean
Simple math project in C to practice using 'gcc', makefiles and libraries as an assignment in Systems Programming A @ Ariel University
c makefile gcc gcc-complier system-programming gcc-compiler cprogramming makefiles systems-programming systemsprogramming ariel mathlib systemprogramming arieluniversity cprogramming-language ariel-university gcc-builds
-
Updated
Jan 31, 2024 - C
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
-
Updated
May 12, 2023 - Lean
Rights: License Creative Commons Attribution 4.0 International Copyright Ultra Verba Lux Mentis 2025. This repository is a reproducible research + governance scaffold that combines: Lean 4 formalization (machine-checked theorems; “hard-to-reject” anchors) Python reference implementations (toy experiments + benchmarks)
functional control universal python-script unified field action theory codex total grand theory-of-probability theory-of-everything mathlib lean4
-
Updated
Jan 11, 2026 - Python
My folder for practice in different languages
python markdown graphviz data-science leetcode memory numpy plotly pandas pytest tkinter data-preparation xserver jupiter-notebook mathlib mathplotlib snoop fastapi
-
Updated
Dec 1, 2025 - HTML
Lean 4 formalization of Unlimited Register Machines for CSLib
formalization theoretical-computer-science register-machine mathlib cslib computability lean4 church-turing-thesis
-
Updated
Jan 10, 2026 - Lean
Improve this page
Add a description, image, and links to the mathlib topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mathlib topic, visit your repo's landing page and select "manage topics."