Welcome to my website! I’m a computer science and mathematics graduate with an interest in pure maths and how it can be studied in programming languages such as Lean.
Recent Blog Posts
Languages I am Learning
- French
- Spanish
- Russian
Contact
Email: ben.wildgoose@hotmail.co.uk GitHub: https://github.com/BenWildgoose