Pinned Loading

1. formal-studies-and-lean-4.md formal-studies-and-lean-4.md

   1

   # Formal Studies and Lean 4

   2

   3

   - [EWD 288](https://www.cs.utexas.edu/users/EWD/transcriptions/EWD02xx/EWD288.html): Concern for Correctness as a Guiding Principle for Program Composition

   4

   - [EWD 690](https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD690.html): The pragmatic engineer versus the scientific designer

   5

     > "Poor Man's Induction": the "proof" that 60 can be divided by all smaller natural number: you just try! 1? Yes. 2? Yes. 3? Yes. 4? Yes. 5? Yes! 6? Yes!! OK.... Let us try a random example. 10? Yes!!! 12? Yes!!!!!!! Obviously 60 can be divided by all smaller natural numbers.