meimei@donotsta.reSep 24, 2026, 8:17 AM@yforster @lindsey The proof assistant course also has the unique benefit of the coursework being addictive :P
Yannick Forsteryforster@types.plSep 24, 2026, 8:43 AM@mei @lindsey to be honest, every instructor should believe that their coursework is uniquely addictive and their course uniquely important!But of course, I agree, proof assistants and PL coursework is uniquely addictive
