Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
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
1427 2020/03/15 21:25:10 Cycle detection kaz Success
1426 2020/03/15 21:16:50 Postorder traversal natsugiri Success
1425 2020/03/15 21:14:51 Postorder traversal yamarten Success
1424 2020/03/15 21:11:56 Not a sum of squares tzik Success
1423 2020/03/15 21:06:54 Postorder traversal kimiyuki Success
1422 2020/03/15 21:05:31 Not a sum of squares kik Success
1421 2020/03/15 20:57:09 eq_sym? mttm Success
1420 2020/03/15 20:52:49 eq_sym? natsugiri Success
1419 2020/03/15 20:46:23 Postorder traversal tzik Success
1418 2020/03/15 20:42:52 Postorder traversal yodvhskd Success

>>Show ALL