xyzzy

This is a special problem that doesn't have a real template and can be used to submit a solution to any custom problem. It can also be used to test the checker against potential exploits (please, create an issue on [GitHub](https://github.com/Lean-Online-Judge/leanoj-checker/issues) if you find one). Submissions are not visible to other participants but still visible to the admin.

Replace sorry in the template below with your solution. Mathlib version used by the checker is v4.29.0.

theorem solution : sorry := sorry

Submit Solution

Login to submit a solution.

Recent Submissions