wupr

PhD candidate in mathematics

University of St AndrewsSt Andrews, United Kingdom

Pinned Repositories

mathlib4
The math library of Lean 4
Language:Lean954236
groups-in-lean
Formalisation in Lean 4 of undergraduate-level group-theoretic problems and solutions
Language:Lean00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
NNG4
Natural Number Game
Language:Lean00
lean4
Lean 4 programming language and theorem prover
Language:Lean3.9k327
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.6k298
NNG4
Natural Number Game
Language:Lean8025
IC-GANT
Imperial College London lecture notes for Geometry, Algebra, and Number Theory
Language:TeX296
GLn_F_q
Language:Lean10

wupr's Repositories

wupr/lean4
Lean 4 programming language and theorem prover
Language:Lean
wupr/groups-in-lean
Formalisation in Lean 4 of undergraduate-level group-theoretic problems and solutions
Language:Lean
wupr/NNG4
Natural Number Game
Language:Lean