Post #3009937

Current status: starting reading chapter 7 of Software Foundation, with #Rocq So far, I managed to do all the exercises. Amazing how much *doing*, as compared to only *reading*, helps the learning process.