3 ms·Using the Proof-Checking Word Processor Lurch to Teach Proof-Writing [pdf]1 points by sndean 10y ago