Pantelis Rodis
Computer Science and Programming
Pages
(Move to ...)
Home
Published Papers
Profile
GitHub Repository
My Applications
▼
Showing posts with label
Structured Proves
.
Show all posts
Showing posts with label
Structured Proves
.
Show all posts
Thursday, 20 November 2025
Structured mathematical proofs
›
Here is a lecture on how to write structured proofs for mathematical theorems, by Leslie Lamport. I have started adopting this writing style...
›
Home
View web version
