Kattis
Problems
Contests
Challenge
Ranklists
Jobs
Languages
Info
Help
Search
Contests
/
Lille Kat 2024:01
/
Teams
/
Am I testing my code or is it formally verifying me?
Log in
Lille Kat 2024:01
Contest
Standings
Problems
Teams
Rules
Team Am I testing my code or is it formally verifying me?
Participating in
Lille Kat 2024:01
Name