What is your opinion on the “21st Century Proofs” encouraged by this pdf? Could you see such stylistic changes being useful? - discu.eu

Reddit

What is your opinion on the “21st Century Proofs” encouraged by this pdf? Could you see such stylistic changes being useful? https://lamport.azurewebsites.net/pubs/proof.pdf 4 comments 1/5/2018 math

Linking pages

TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
Console #69 -- Kind, Clockwise, and Drago https://console.substack.com/p/console-69?r=3cbez 0 comments

Related searches:

Search whole site: site:lamport.azurewebsites.net

Search title: What is your opinion on the “21st Century Proofs” encouraged by this pdf? Could you see such stylistic changes being useful?

See how to search.

Submit link to: