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...
Posts by Tag
Lean
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...
BOOK
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...
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...
Jekyll
Hello world
Started this new website! I hope to fill it with posts and content soon!
update
Hello world
Started this new website! I hope to fill it with posts and content soon!
math
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...