3 ms·
Found it: https://www.microsoft.com/en-us/research/publication/how-to-write-a-proof/ https://www.microsoft.com/en-us/research/publication/how-to-...
by dls2016 6y ago
Found it: https://www.microsoft.com/en-us/research/publication/how-to-write-a-proof/ https://www.microsoft.com/en-us/research/publication/how-to-...