Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with mathlib
A curated list of projects in awesome lists tagged with mathlib .
https://github.com/jingyuexing/MathLib
The Math Algorithm
algorithm c cpp csharp go haxe java javascript math mathlib php python python3 statistics test typescript
Last synced: 12 Nov 2024
https://github.com/bhgomes/lean-riemann-hypothesis
Riemann Hypothesis in Lean
lean lean-theorem-prover mathlib riemann-hypothesis
Last synced: 28 Nov 2024
https://github.com/eric-wieser/lean-graded-rings
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
cicm formal-mathematics lean mathlib
Last synced: 05 Dec 2024
https://github.com/eric-wieser/mathlib-import-graph
An interactive viewer for the mathlib import graph
Last synced: 05 Dec 2024
https://github.com/eric-wieser/divf-2022
CUED division F conference presentation
lean mathlib presentation sympy
Last synced: 05 Dec 2024