slashbade

Pinned Repositories

brain_tumor_classification_tl
Language:HTML00
coxeter_doc
00
coxeter_word
Language:Lean00
Dynkin_computations
Language:Jupyter Notebook00
Lie_alg_rep
Language:Lean11
Lie_toolbox
Language:Python1 1 00
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML10
Peking-note--Week-2--2024
Language:TeX00
PyLieRepn
Language:Jupyter Notebook10
symmetric_group_rep
Language:Python10

slashbade's Repositories

slashbade/Lie_alg_rep
Language:Lean11
slashbade/Lie_toolbox
Language:Python1 1 00
slashbade/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML10
slashbade/PyLieRepn
Language:Jupyter Notebook10
slashbade/symmetric_group_rep
Language:Python10
slashbade/brain_tumor_classification_tl
Language:HTML00
slashbade/coxeter_doc
00
slashbade/coxeter_word
Language:Lean00
slashbade/Dynkin_computations
Language:Jupyter Notebook00
slashbade/Peking-note--Week-2--2024
Language:TeX00
slashbade/PekingNote
Language:HTML
slashbade/picgo-temp
slashbade/pycox_dev
Language:Python