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
YouTube: add-your-channel-link-here