An introductions post, since I've got a bunch of new followers in the last couple of weeks (hello everybody!)

By day, I do computer verification of in the Lean prover, by night I do . When there isn't a plague going around, I like in nature and befriending . I also know a bit of .

I really like explaining concepts — feel free to ask any question (esp. mathematics / theoretical comp sci). Replies to toots are always welcome.

This morning I didn't encounter the usual group of , but they were there in the afternoon! The biggest and bravest of them stood close enough for a good picture. I think I will call it Alexei.

Anne Baanen, aggressive mechanizer's choices:


Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.