Joachim Breitner
Blog
Projects
Publications
Content
About me
Photos
Joachim Breitner's Homepage
Blog (Tag Lean)
Archive
Deutsch
English
Digital World
Lean
Haskell
Coq
Tiptoi
Debian
Internet Computer
Mathe
Reisen
Philadelphia
Cambridge
Indien
Ghana
Politik
Categories
2023
Joining the Lean FRO