Shammunity

Powered by 🌱Roam Garden

How to write a 21st Century Proof

This is an "Orphan" page. Its core content has not been shared: what you see below is a loose collection of pages and page snippets that mention this page, as well as snippets of this page that were quoted elsewhere.

Referenced in

@Roam 白皮书

语言表达的问题甚至适用于数学证明领域,请参阅Lamport的“如何编写21世纪的证明” How to write a 21st Century Proof。

@Roam 白皮书

Leslie Lamport: How to write a 21st Century Proof

@White Paper

The problems of prose apply even in the domain of mathematical proofs, see Lamport’s How to write a 21st Century Proof”

@White Paper

Leslie Lamport: How to write a 21st Century Proof

How to write a 21st Century Proof