Submissions

Filter

Task Name
User Name
Judge Status

Found 1712 submissions.

# Time Task Name User Name Status
1612 2020/06/16 19:15:18 forall f: bool -> bool, f^3(x) = f(x) algon Success
1611 2020/06/16 18:25:36 1 + 1 = 2 algon Success
1610 2020/06/16 18:19:06 plus_comm algon Success
1609 2020/06/16 17:47:42 plus_assoc algon Success
1608 2020/06/15 20:22:41 forall l: list nat, l @ [0] <> [] Eldora Success
1607 2020/06/15 19:06:03 S preserves comparison Eldora Failure
1606 2020/06/15 19:05:15 S preserves comparison Eldora Success
1605 2020/06/15 19:04:46 S preserves comparison Eldora Failure
1604 2020/06/15 17:09:18 plus_assoc peroxyacyl Success
1603 2020/06/15 03:02:55 1 + 1 = 2 yamaNote Success
1602 2020/06/15 03:00:26 plus_comm yamaNote Success
1601 2020/06/15 02:54:05 plus_assoc yamaNote Success
1600 2020/06/15 02:42:43 plus_assoc yamaNote Success
1599 2020/06/15 02:27:45 plus_assoc yamaNote Failure
1598 2020/06/14 22:34:39 Tree Syntax Unambiguity kozima Success
1597 2020/06/14 22:24:33 Tree Syntax Unambiguity yodvhskd Success
1596 2020/06/14 21:33:55 Tree Induction kik Rejected
1595 2020/06/14 21:21:11 count_occ_app mttm Success
1594 2020/06/14 21:16:30 S preserves comparison mttm Success
1593 2020/06/14 21:03:53 Tree Syntax Unambiguity yodvhskd Success
1592 2020/06/14 20:41:03 Tree Induction efk Success
1591 2020/06/14 20:11:44 Tree Induction tanakh Success
1590 2020/06/14 20:10:36 Tree Induction tanakh Failure
1589 2020/06/14 20:05:38 count_occ_app kano Success
1588 2020/06/14 19:47:10 count_occ_app efk Success
1587 2020/06/14 19:36:48 Tree Induction sorata Success
1586 2020/06/14 19:25:29 Tree Induction yodvhskd Success
1585 2020/06/14 19:21:38 count_occ_app natsugiri Success
1584 2020/06/14 19:21:37 S preserves comparison efk Success
1583 2020/06/14 19:18:13 Tree Induction kozima Success
1582 2020/06/14 19:15:31 count_occ_app tanakh Success
1581 2020/06/14 19:15:10 count_occ_app kik Success
1580 2020/06/14 19:09:23 count_occ_app kozima Success
1579 2020/06/14 19:07:49 S preserves comparison kik Success
1578 2020/06/14 19:06:38 count_occ_app yodvhskd Success
1577 2020/06/14 19:05:53 count_occ_app sorata Success
1576 2020/06/14 19:05:47 S preserves comparison tanakh Success
1575 2020/06/14 19:05:15 S preserves comparison natsugiri Success
1574 2020/06/14 19:04:13 S preserves comparison natsugiri Failure
1573 2020/06/14 19:03:58 S preserves comparison kano Success
1572 2020/06/14 19:03:48 S preserves comparison yodvhskd Success
1571 2020/06/14 19:02:11 S preserves comparison kozima Success
1570 2020/06/14 19:01:35 S preserves comparison sorata Success
1569 2020/06/14 18:55:43 Boolean-hole principle kano Success
1568 2020/06/13 15:34:20 Tree Induction kkob Success
1567 2020/06/13 15:29:21 Tree Induction kkob Success
1566 2020/06/11 17:29:01 S preserves comparison kkob Success
1565 2020/06/09 20:09:15 n < m \/ n = m \/ n > m hammer Success
1564 2020/06/09 18:33:49 n * S m = n + n * m hammer Success
1563 2020/06/09 18:11:23 forall f: bool -> bool, f^3(x) = f(x) hammer Success

>>Show ALL