Visit my homepage for the puzzle! Your task is to determine what message it is equal to, and prove that they are equal in Lean. Good luck!
Leaderboard for the old puzzle
- Peaksol (2024-10-23)
Leaderboard for the old old puzzle
No one since it was too hard. 😭
Leaderboard for the old old old puzzle
- Kevin (2023-10-20)