James Arthur's repositories
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.
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.
drFosterBot
A bot that just makes up Dr Foster rhymes for the NT twitter account.
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.
NextTalk
This is a test repo, ignore it.
structure-theorem
This is a project for my summer research project into formalising Jordan Normal Form in Lean.
website
Coding Train website