Submissions

Filter

Task Name
User Name
Judge Status

Found 1477 submissions.

# Time Task Name User Name Status
1477 2020/03/31 17:24:14 Binary search tanakh Success
1476 2020/03/31 05:56:11 l1 <> l2 if l2 is an odd permutation of l1 tanakh Success
1475 2020/03/28 01:18:40 Equivalent two quicksorts tanakh Success
1474 2020/03/28 01:17:19 Equivalent two quicksorts tanakh Failure
1473 2020/03/21 12:56:49 1 + 1 = 2 smizoe Success
1472 2020/03/21 12:55:40 1 + 1 = 2 smizoe Failure
1471 2020/03/21 12:53:27 1 + 1 = 2 smizoe Failure
1470 2020/03/19 00:03:22 n < m \/ n = m \/ n > m shimomire Success
1469 2020/03/18 23:58:52 n * S m = n + n * m shimomire Success
1468 2020/03/18 22:10:28 forall f: bool -> bool, f^3(x) = f(x) shimomire Success
1467 2020/03/18 21:47:20 forall f: bool -> bool, f^3(x) = f(x) shimomire Success
1466 2020/03/18 21:19:41 1 + 1 = 2 shimomire Success
1465 2020/03/18 21:17:41 plus_comm shimomire Success
1464 2020/03/18 21:03:12 plus_assoc shimomire Success
1463 2020/03/18 08:07:24 Sum of binomial coefficients tanakh Success
1462 2020/03/18 08:02:32 Sum of binomial coefficients tanakh Rejected
1461 2020/03/18 00:20:45 Iterated iteration tanakh Success
1460 2020/03/18 00:17:37 Iterated iteration tanakh Success
1459 2020/03/18 00:16:37 Iterated iteration tanakh Failure
1458 2020/03/17 23:26:23 Iterated iteration tanakh Rejected
1457 2020/03/17 17:20:57 eq_sym? a_kawashiro Failure
1456 2020/03/17 17:19:41 eq_sym? a_kawashiro Failure
1455 2020/03/17 16:32:12 De Morgan's laws in Coq zer0star Success
1454 2020/03/17 16:10:46 mult_n_O zer0star Success
1453 2020/03/17 15:59:12 Multiplication in F_2 is idempotent zer0star Success
1452 2020/03/17 15:07:58 Definitions of injectivity zer0star Success
1451 2020/03/16 09:25:30 Postorder traversal tzik Success
1450 2020/03/16 09:25:06 Not a sum of squares tzik Success
1449 2020/03/16 09:24:47 eq_sym? tzik Success
1448 2020/03/16 07:48:16 Cycle detection tzik Success
1447 2020/03/16 02:55:12 Cycle detection yodvhskd Success
1446 2020/03/16 01:04:29 Postorder traversal tanakh Success
1445 2020/03/15 23:52:52 Cumulative sum of list zer0star Success
1444 2020/03/15 23:51:17 Cumulative sum of list zer0star Failure
1443 2020/03/15 23:48:12 Cumulative sum of list zer0star Failure
1442 2020/03/15 23:09:42 forall l: list nat, l @ [0] <> [] zer0star Success
1441 2020/03/15 22:57:09 Cycle detection kkob Success
1440 2020/03/15 22:54:37 Cycle detection fetburner Success
1439 2020/03/15 22:54:36 n < m \/ n = m \/ n > m zer0star Success
1438 2020/03/15 22:50:54 n * S m = n + n * m zer0star Success
1437 2020/03/15 22:47:54 forall f: bool -> bool, f^3(x) = f(x) zer0star Success
1436 2020/03/15 22:43:09 and_comm (Lean) tanakh Success
1435 2020/03/15 22:39:38 1 + 1 = 2 KisaragiEffective Success
1434 2020/03/15 22:36:28 Cycle detection kkob Success
1433 2020/03/15 22:28:01 and_comm (Lean) tanakh Success
1432 2020/03/15 22:13:34 1 + 1 = 2 zer0star Success
1431 2020/03/15 22:08:35 Not a sum of squares kimiyuki Success
1430 2020/03/15 21:57:38 Not a sum of squares tanakh Success
1429 2020/03/15 21:57:28 Not a sum of squares kimiyuki Success
1428 2020/03/15 21:30:44 Postorder traversal kik Success

>>Show ALL