themathqueen

Pinned Repositories

monlib4
Formalising non-commutative graph theory in Lean
Language:Lean10
formal-2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
Language:Lean96
grover
10
monlib
Formalising non-commutative graph theory in Lean
Language:Lean10
notebooks
Language:Jupyter Notebook10
themathqueen
Config files for my GitHub profile.
10
diffie_hellman_key_exchange
00
lean_katas
Language:Lean00
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k298
.github
00

themathqueen's Repositories

themathqueen/grover
1
themathqueen/monlib
Formalising non-commutative graph theory in Lean
Language:Lean1 1 6
themathqueen/monlib4
Formalising non-commutative graph theory in Lean
Language:Lean1 1 4
themathqueen/notebooks
Language:Jupyter Notebook1
themathqueen/themathqueen
Config files for my GitHub profile.
1
themathqueen/diffie_hellman_key_exchange
themathqueen/lean_katas
Language:Lean