JovanGerb

Pinned Repositories

mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k298
lean-tactics
Language:Lean71
Geometry-Solver
Language:Python00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
mathlib4
The math library of Lean 4
Language:Lean00
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language:Lean00
std4
Standard Library for Lean 4
Language:Lean00
lean4
Lean 4 programming language and theorem prover
Language:Lean4.9k437
mathlib4
The math library of Lean 4
Language:Lean1.6k356
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean264108

JovanGerb's Repositories

JovanGerb/mathlib4
The math library of Lean 4
JovanGerb/lean4
Lean 4 programming language and theorem prover
Language:Lean
JovanGerb/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language:Lean
JovanGerb/Geometry-Solver
Language:Python
JovanGerb/std4
Standard Library for Lean 4
Language:Lean