Introducing myself: Sean Hunter

Stream: new members

[Sean Hunter]

Hi there. I'm Sean Hunter. I've been a software engineer for about 30 years now and am interested in functional languages generally. I've recently been (finally) studying a bit more maths and am getting into Lean. This is actually about my 3rd attempt. A while ago I had a go at the natural numbers game, then a little later I tried working through "Mathematics in Lean" but sort of bounced off. This time I've got hold of Buzzard's "Formalizing Mathematics" which for whatever reason seems to be sticking with me much better.

P.S. I'm a (neo)vim user rather than a vscoder.