xyzzy
xyzzy
theorem solution : sorry := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 298 | Kitsune | 2026-02-26T13:09 | PASSED |
| 297 | Kitsune | 2026-02-26T12:57 | PASSED |
| 296 | kappa | 2026-02-26T10:50 | PASSED |
| 295 | kappa | 2026-02-26T10:48 | PASSED |
| 294 | kappa | 2026-02-26T10:38 | PASSED |
| 285 | kappa | 2026-02-23T09:47 | PASSED |
| 284 | kappa | 2026-02-23T09:43 | PASSED |
| 283 | Kitsune | 2026-02-23T01:45 | PASSED |
| 279 | kappa | 2026-02-21T20:34 | PASSED |
| 278 | kappa | 2026-02-21T20:09 | PASSED |