BerLean : a Lean Workshop in Berlin
I’m happy to announce that I’ll be collaborating with Michael Rothgang on a one day Workshop on formalising math in Lean. All infos can be found on Michael’s...
Recent Posts
Some old notes
Durring my studies, I wrote some notes about stuff I read. I find this helpful for memorisation and it allows to formulate things in one’s own words, providi...
Formal proofs from THE BOOK Blog
I’m happy to announce that I’ll be working with Christoph Spiegel on a blog about implementing beautiful proofs, in the sense of “Formal proofs from THE BOOK...