72 skills found · Page 2 of 3
AsFigo / MathLibMathLib DAC 2023 version
anic17 / ComplexC library to work with complex numbers.
leanprover-community / Mathlib3portSynport output from mathport for mathlib3
ihaiucom / Learn.MathLibraryForUnityMath Library for Unity
math-xmum / BrouwerThis repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.
kckennylau / Mathlib4 20210107Unofficial repository for the experimental porting of mathlib into lean4
Inaxo / MathLibMathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to transformations of containers using overloaded operators, quadratic functions, and various mathematical functions.
YaelDillies / Add CombiThe (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
leanprover-community / Mathlib4 DocsNo description available
javaNoviceProgrammer / MathLibA compilation of most useful math libraries for java
dreal-deps / MathlibIBM Accurate Portable Mathlib
kmill / LeanTeX MathlibLeanTeX pretty printers for mathlib
IsaacLi74 / Lightweight And LLM Free Semantic Search For Mathlib4The aim of this project is to build low cost yet powerful semantic mathlib search engine. The project is funded by Prof. Tom Hales personally with 350 usd.
Harrix / Harrix MathLibraryCPP for C++. The collection of various mathematical functions and template functions with open source in C++
ARZZEZZAN / S21 MathLibraryNo description available
josephmckinsey / FleanFloating point numbers in lean. A replacement of Mathlib.Data.FP
SStarrySSky / Measure📏 A dependently-typed language on Lean 4 for formalizing physics. Dimensions, uncertainty & theory conflicts are first-class types. 25 domains, 267 theorems, 0 sorry. Theories can conflict, approximate or extend each other — because physics isn't one consistent system. Compilation = proof.
ghorn / MathlibNo description available
EtherTyper / MathLibraryA Kotlin library to assist you in Multivariable Calculus, Linear Algebra, Electrostatics, and Quantum Computing.
lecopivo / ReverseFFIwithMathlibExample project for reverse FFI using Lean+mathlib
