wupr

PhD candidate in mathematics

University of St AndrewsSt Andrews, United Kingdom

Pinned Repositories

autobib
A command-line tool for managing bibliographic records
Language:Rust50
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298
mathlib4
The math library of Lean 4
Language:Lean1.6k 39 419343
NNG4
Natural Number Game
Language:Lean115 11 4835
lean4
Lean 4 programming language and theorem prover
Language:Lean4.8k 63 2k427
gap-docker
Language:Dockerfile00
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
order-p-q
Lean formalisation of the classification of the groups of order `p * q` where `p` and `q` are prime numbers.
Language:Lean30

wupr's Repositories

wupr/order-p-q
Lean formalisation of the classification of the groups of order `p * q` where `p` and `q` are prime numbers.
Language:Lean30
wupr/gap-docker
Language:Dockerfile00
wupr/groups-in-lean
Formalisation in Lean 4 of undergraduate-level group-theoretic problems and solutions
Language:Lean00
wupr/lean4
Lean 4 programming language and theorem prover
Language:Lean00
wupr/NNG4
Natural Number Game
Language:Lean00