jamesa9283 / generalised-trigonometric-functions-for-lean Goto Github PK
View Code? Open in Web Editor NEWThis 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.
Home Page: https://jamesa9283.github.io/Generalised-Trigonometric-Functions-for-Lean
License: Apache License 2.0