4. Examples

1. 4.1. Harmonic Oscillator
2. 4.2. 🚧 Harmonic Oscillator Optimization
   1. 4.2.1. Problem Statement
   2. 4.2.2. Lean Specification
   3. 4.2.3. Turning Specification into Implementation