Add formal verification notes for week 10
Add formal verification notes for week 10


MaximeKjaer/kjaer.io,MaximeKjaer/MaximeKjaer.github.io,MaximeKjaer/kjaer.io,MaximeKjaer/kjaermaxi.me,MaximeKjaer/MaximeKjaer.github.io,MaximeKjaer/kjaermaxi.me,MaximeKjaer/kjaermaxi.me,MaximeKjaer/kjaer.io,MaximeKjaer/kjaer.io,MaximeKjaer/kjaermaxi.me,MaximeKjaer/MaximeKjaer.github.io,MaximeKjaer/MaximeKjaer.github.io