[skip ci] WIP: Formally proving FizzBuzz
[skip ci] WIP: Formally proving FizzBuzz

pierrebeaucamp/pierrebeaucamp.com,pierrebeaucamp/pierrebeaucamp.com,pierrebeaucamp/pierrebeaucamp.com,pierrebeaucamp/pierrebeaucamp.com