3 ms·
Leslie Lamport described a writing system like this but I can’t find a reference.
by dls2016 6y ago
Leslie Lamport described a writing system like this but I can’t find a reference.
- dls2016 6y agoFound it: https://www.microsoft.com/en-us/research/publication/how-to-write-a-proof/ https://www.microsoft.com/en-us/research/publication/how-to-...