Pinned Repositories
AdventOfCode
AdventOfCode2020
COVID-Models
Adapted code from the PyData Webinar w/ Ben Sparks
ExeterMathsNotes
From September 2019 to June 2022, I studied at the University of Exeter. During this time I studied Mathematics on Penryn Campus, a course that would be cut at the end of my first year. I am part of the last cohort of this programme. Here are some notes from the courses I took during my time at Penryn.
ExLeanBot
A discord bot designed to suit every need of the University of Exeter LEAN Discord Server.
FIMPopulationConservation
LMSSummerSchoolNotes2021
MastersThesis
jamesa9283's Repositories
jamesa9283/ExLeanBot
A discord bot designed to suit every need of the University of Exeter LEAN Discord Server.
jamesa9283/LMSSummerSchoolNotes2021
jamesa9283/MastersThesis
jamesa9283/AdventOfCode2020
jamesa9283/ExeterMathsNotes
From September 2019 to June 2022, I studied at the University of Exeter. During this time I studied Mathematics on Penryn Campus, a course that would be cut at the end of my first year. I am part of the last cohort of this programme. Here are some notes from the courses I took during my time at Penryn.
jamesa9283/Generalised-Trigonometric-Functions-for-Lean
This a summer project as part of the Xena Project's summer project sessions ran in the summer of 2020. That was a lot of summers! I am formalising and placing the generalised trigonometric functions into Lean and proving simple lemmas about them.
jamesa9283/AdventOfCode2021
jamesa9283/drFosterBot
A bot that just makes up Dr Foster rhymes for the NT twitter account.
jamesa9283/ECM1905_Advanced_Calculus
jamesa9283/ECM2903_Differential-Equations_Notes
jamesa9283/ECM2908_Vector_Calculus_Notes
jamesa9283/EMF2022TalkSlides
jamesa9283/ExtraMathsStuff
jamesa9283/GammaStirlingsForLean
jamesa9283/gyrovectors-lean
This is a package, currently under production, that allow the use of gyrovectors and gyrogroups in lean. These can be used to define general relativity, and they will be, eventually.
jamesa9283/invHypTrig
jamesa9283/Lean-AreaOfACircle
jamesa9283/LeanFilesForTalks
jamesa9283/LiaLeanTutor
jamesa9283/MATH1001
jamesa9283/MMSC_PatternFormation
jamesa9283/mth1001_summer_2021
jamesa9283/MTH2008_Real_Analysis_Lean
jamesa9283/MTH2008_Real_Analysis_Notes
jamesa9283/NextTalk
This is a test repo, ignore it.
jamesa9283/OxfordMathsNotes
jamesa9283/special-functions
jamesa9283/structure-theorem
This is a project for my summer research project into formalising Jordan Normal Form in Lean.
jamesa9283/VivaSlides
jamesa9283/website
Coding Train website