mathlib
There are 0 repository under mathlib topic.
jingyuexing / MathLib
The Math Algorithm
Language:TypeScript 46- Language:Lean 41
bhgomes / lean-riemann-hypothesis
Riemann Hypothesis in Lean
Language:Lean 35- Language:C 11
eric-wieser / lean-graded-rings
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
Language:Lean 7- mathlib-cpp
MarufHasan24 / mathlib-cpp
mathib cpp version.
Language:C++ 6 - mathlib
A dynamic library of math
Language:JavaScript 4 - Language:C++ 2
- Language:HTML 1
petnica-rac-seminari / interaktivno_dokazivanje_teorema_2023
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
Language:Lean 1themathqueen / monlib
Formalising non-commutative graph theory in Lean
Language:Lean 1ConcavTech / 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.
Language:Java 0DarkHawk727 / MathLib
A Python Library for Computing various Mathematical Functions and Constants
Language:Python 0Karthik-Dulam / reals-quasi-morphisms
Reals defined using Quasi-Morphisms formalized in Lean
Language:Lean 0- Language:C 0
sumantchopdata / intro_to_automated_proof_checking
A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library
Language:Lean 0- Language:HTML
- Language:Lean
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
Language:C- Language:C++
