LessnessRandomness

Pinned Repositories

goedel
Archived since the contents have been moved to the Hydras & Co. repository
Language:Coq28 7 45
mathlib4
The math library of Lean 4
Language:Lean1.7k 36 434360
Jordan
Language:Lean00
mathlib4
The math library of Lean 4
Language:Lean00
PE
Language:Coq11
sorting8
Language:Coq00

LessnessRandomness's Repositories

LessnessRandomness/PE
Language:Coq11
LessnessRandomness/Jordan
Language:Lean00
LessnessRandomness/sorting8
Language:Coq00