3 ms·
How did you do approach learning it to make it “stick” to such an extent that it’s changed how you approach problems?
by pizza 4y ago
How did you do approach learning it to make it “stick” to such an extent that it’s changed how you approach problems?
- mbrodersen 4y agoI 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.