I completed the first volume of Software Foundations: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ and then started p

I completed the first volume of Software Foundations: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ and then started proving tiny toy examples correct from scratch. I also read a lot of papers on type theory and the history of proof assistants. It’s really interesting fun stuff.