## Formalisms Every Computer Scientist Should Know

Thomas Henzinger teaches this course at ISTA

LaTeX transcribes from the lectures

### Timeline

### How to Lean 4

#### Setup Lean

Minimalistic online IDE (no installation needed; just copypaste the code and walk through the proof)

#### Learn Lean

Natural Number Game (fun interactive tutorial by Kevin Buzzard et al.)

Overview of basic tactics (things you use in proofs, not definitions)

Code from my minicourse (took place at ISTA in 2023-09)

Code from my tutorial (took place at ISTA in 2024-02)