Birmingham, UK

Stream: Geographic locality

[Richard Griffiths]

Hi brand new to Lean4, proofs and most of the subjects here. Experience in F# and active interest in studying maths for Ai - specifically GDL. Learning Lean4 to understand proof basics among other things. Very much a beginner at time of writing. Looks like I'm the only Birmingham UK user posting their location. So, say hi if you are local ish too. :)