thefundamentaltheor3m
MSci Maths student at Imperial College London. I like proving theorems, and I sometimes do so in Lean.
@ImperialCollegeLondon
Pinned Repositories
ANTNotes
Lecture notes for MATH70042 - Algebraic Number Theory, taught by Margherita Pagano at Imperial College London in Spring 2025. Work in progress, being written as the module progresses.
formalising-mathematics-notes
A fork of the course repository for MATH70040, created for my own personal study.
Groups_of_ord_psq
Proof in Lean that all groups of order p² (p prime) are abelian.
LieAlgebrasNotes
Lecture Notes for the module MATH70062 (Lie Algebras) taught by Ambrus Pal in Autumn 2024 at Imperial College London. WIP, being written as the module progresses.
LogicNotes
Notes for MATH7132 (Mathematical Logic) taught by David Evans in Spring 2025 at Imperial College London. Work in progress, being written as the module progresses.
m1fexplained
A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
prob-workshop-sept
RepTheoryEPFL
Notes (in English) for MATH-314 (Representation Theory of Finite Groups) taught at EPFL in Spring 2024.
SU-Theory-in-python
An attempt to implement the basics of Shestakov-Umirbaev Theory in python as part of a group research project for university.
thefundamentaltheor3m's Repositories
thefundamentaltheor3m/RepTheoryEPFL
Notes (in English) for MATH-314 (Representation Theory of Finite Groups) taught at EPFL in Spring 2024.
thefundamentaltheor3m/SU-Theory-in-python
An attempt to implement the basics of Shestakov-Umirbaev Theory in python as part of a group research project for university.
thefundamentaltheor3m/Groups_of_ord_psq
Proof in Lean that all groups of order p² (p prime) are abelian.
thefundamentaltheor3m/LieAlgebrasNotes
Lecture Notes for the module MATH70062 (Lie Algebras) taught by Ambrus Pal in Autumn 2024 at Imperial College London. WIP, being written as the module progresses.
thefundamentaltheor3m/m1fexplained
A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
thefundamentaltheor3m/MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
thefundamentaltheor3m/prob-workshop-sept
thefundamentaltheor3m/IB_AS_GS_Notes
Live notes from IB tutoring.
thefundamentaltheor3m/MATH50009
Fork of the MATH50009 repository.
thefundamentaltheor3m/mathlib4-SU-Theory
An attempt to formalise Shestakov-Umirbaev Theory in Lean 4 based on Chapter 1 of Polynomial Automorphisms and the Jacobian Conjecture (van den Essen et al, 2021).
thefundamentaltheor3m/Presentations
A repository of Beamers for talks and presentations I've given.
thefundamentaltheor3m/Trans4m8-V1