Comment Comment by nathell Reminds me of Leslie Lamport’s „How to Write a Proof” [1]. I wonder whether there exist tools that aid in manually writing visualisable proofs?https://lamport.azurewebsites.net/pubs/lamport-how-to-write.... parent nathell 3 years ago
https://lamport.azurewebsites.net/pubs/lamport-how-to-write....