Add Formal Verification notes for week 4
Add Formal Verification notes for week 4


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