3 ms·
It's a great idea and I think it's much bigger than maths. If you do not already know about it, searching around what a "Dynabook" is cannot be a waste of time
by pierre_d528 9y ago
It's a great idea and I think it's much bigger than maths.
If you do not already know about it, searching around what
a "Dynabook" is cannot be a waste of time.
You may be interested in this kind of laying out a proof:
https://lamport.azurewebsites.net/pubs/proof.pdf https://lamport.azurewebsites.net/pubs/proof.pdf