Richard Griffiths - Intro

Stream: new members

[Richard Griffiths]

Hi, complete Lean beginner and math proof beginner here.

Have just started on this path hoping to learn both sets of skills by making use of my prior experience as a coder, with some F# knowledge. I've a side of me that has a wild interest in conceptual maths that has little concrete foundation in any formal education in maths at all.

So this is part of a deliberate plan to do something about that: learn how to do the methodical work involved by using Lean. And actually understand the subject much more thoroughly.

UK user here, so hi to anyone in my general vicinity!

I'm also doing a side quest in reading Bronstein's 2025 paper, math background for Geometric deep learning. As in rereading and attempt to properly follow it all. Hence wanting to improve my basic knowledge.

I've an interest in Ai, from a hobby enthusiast viewpoint, so anyone with a overlapping interest, hi to you too. I am one of those slightly frustrating types - self taught, knowledge full of odd gaps, ommissions, strange assumptions and peculiar ignorance-but that is a big part of why I'm tackling Lean. And joining this community.

Hoping some of it will sink in! :rolling_on_the_floor_laughing:

Have a good Christmas everyone I've not met yet. Which is pretty much 100% of you.