denayd

Pinned Repositories

WildJam16
Language:GDScript0 3 00
mathlib
Lean mathematical components library
Language:Lean00
mathlib4
Work in progress mathlib port for lean 4
Language:Lean0 0 00
mathlib4
The math library of Lean 4
Language:Lean1.5k 38 408339

denayd's Repositories

denayd/mathlib
Lean mathematical components library
Language:Lean00
denayd/mathlib4
Work in progress mathlib port for lean 4
Language:Lean0 0 00