Introduction - Steven Clontz

Stream: new members

[Steven Clontz]

Hi all, I'm Steven Clontz. My academic/research background is in general and set-theoretic topology, and I have a previous life as co-owner/operator of a tiny (now defunct) SaaS startup. These days my professional interests are steering towards cyberinfastructure for mathematics and STEM education research and practice, see this and that and another thing for a couple relevant projects I'm involved with.

My spring sabbatical in part aims to finally dig into formalized mathematics. I just beat the natural number game over the past day or so - is there a call to action for where I should start exploring next?

[Steven Clontz]

Trying https://gitpod.io/#/https://github.com/leanprover-community/mathematics_in_lean now (is there a GitHub Codespaces alternative?)

[Johan Commelin]

Welcome! And yes, that's indeed a good follow-up.

[Johan Commelin]

See also https://leanprover-community.github.io/learn.html