Comment by pierre_d528

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