3 ms·
What do you think of Lamport's 'structured proofs'? https://www.microsoft.com/en-us/research/uploads/prod/2016/12/How-to-Write-a-Proof.pdf https://www.microsof
by yesenadam 8y ago
What do you think of Lamport's 'structured proofs'?
https://www.microsoft.com/en-us/research/uploads/prod/2016/12/How-to-Write-a-Proof.pdf https://www.microsoft.com/en-us/research/uploads/prod/2016/1...
- IngoBlechschmid 8y agoI love them! Done well, they can be extremely pleasant to read and understand. A good friend of mine creates those as a hobby: https://pwacker.com/ https://pwacker.com/