Lille Kat 2024:01

Team Am I testing my code or is it formally verifying me?

Participating in Lille Kat 2024:01

Name