72 skills found · Page 1 of 3
leanprover-community / Mathlib4The math library of Lean 4
leanprover-community / Mathlib3Lean 3's obsolete mathematical components library: please use mathlib4
Crispher / MathlibExplorerVisualizing the network of math theories.
nomeata / LoogleMathlib search tool
NVIDIA-RTX / MathLibCross-platform SSE/AVX/NEON-accelerated math library, coming with a common library to be used in HLSL/C++ code
James-Hanson / Junk Theorems In LeanA small collection of formally verified junk theorems provable in Lean4 + Mathlib.
leanprover-community / Leanprover Community.github.ioHosts the website for mathlib and other Lean community infrastructure.
BoltonBailey / Formal Snarks ProjectA formal verification of Linear PCP SNARKs.
haruhisa-enomoto / Mathlib4 All TacticsMarkdown file of the list and explanations of all mathlib4 tactics
jingyuexing / MathLibThe Math Algorithm
bhgomes / Lean Riemann HypothesisRiemann Hypothesis in Lean
leanprover-community / Mathlib ToolsDevelopment tools for https://github.com/leanprover-community/mathlib
Seasawher / Mathlib4 HelpList of the output of #help command of mathlib4, including list of all tactics, commands...etc
leanprover-community / Doc GenGenerate HTML documentation for mathlib and Lean
knxm / MathlibreLive Linux for Mathematical Software
fidian / MathLibPalm OS shared math library
supercollider-quarks / MathLibSome mathematical extensions to SuperCollider
leanprover-community / Mathlib ChangelogNo description available
zhangir-azerbayev / Mathlib Semantic SearchNo description available
jsm28 / AperiodicMonotilesLeanLean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
