Submissions

Filter

Task Name
User Name
Judge Status

Found 1961 submissions.

# Time Task Name User Name Status
1661 2020/07/19 00:51:17 n < m \/ n = m \/ n > m Eldora Success
1660 2020/07/19 00:50:48 n < m \/ n = m \/ n > m Eldora Failure
1659 2020/07/19 00:50:28 n < m \/ n = m \/ n > m Eldora Failure
1658 2020/07/16 00:54:37 Not a sum of squares kano Success
1657 2020/07/16 00:53:06 Not a sum of squares kano Failure
1656 2020/07/15 02:27:41 Postorder traversal kano Success
1655 2020/07/15 01:43:34 Yoneda embedding for preorder kano Success
1654 2020/07/05 03:35:20 infinite bool sequence is uncountable kano Success
1653 2020/07/05 02:16:57 Boolean-hole principle revisited kano Success
1652 2020/07/04 19:29:05 Double kano Success
1651 2020/07/04 18:20:54 Tree addressing is injective kano Success
1650 2020/07/04 18:20:08 Tree addressing is injective kano Failure
1649 2020/07/04 16:43:45 Any natural number is expressible in binary notation kano Success
1648 2020/07/04 16:43:09 Any natural number is expressible in binary notation kano Failure
1647 2020/07/04 14:53:09 Two is not Three kano Success
1646 2020/07/04 04:40:45 Infinite duplication kkob Success
1645 2020/07/03 23:08:30 unique count kano Success
1644 2020/07/02 22:49:59 unique (unique l) = l kano Success
1643 2020/07/01 21:56:07 Multiplication in F_2 is idempotent kano Success
1642 2020/07/01 21:55:44 Multiplication in F_2 is idempotent kano Failure
1641 2020/07/01 02:03:34 Definitions of injectivity kano Success
1640 2020/07/01 02:00:25 Definitions of injectivity kano Failure
1639 2020/06/30 01:54:04 Tree Syntax Unambiguity kkob Success
1638 2020/06/30 01:51:34 Tree Syntax Unambiguity kkob Failure
1637 2020/06/30 01:49:56 Tree Syntax Unambiguity kkob Failure
1636 2020/06/28 16:21:36 Cumulative sum of list kano Success
1635 2020/06/26 19:49:27 count l n = count (rev l) n kano Success
1634 2020/06/26 19:47:19 count l n = count (rev l) n kano Failure
1633 2020/06/26 15:56:14 Upper triangular (completeness) kano Success
1632 2020/06/25 05:52:23 n < m \/ n = m \/ n > m dareka Failure
1631 2020/06/23 23:23:24 Upper triangular (soundness) kano Success
1630 2020/06/23 16:49:13 Drinker paradox? kano Success
1629 2020/06/23 16:10:38 n < m \/ n = m \/ n > m kano Success
1628 2020/06/23 16:09:44 n < m \/ n = m \/ n > m kano Failure
1627 2020/06/20 00:00:53 Midpoint kano Success
1626 2020/06/19 22:43:22 Zero test kano Success
1625 2020/06/19 21:53:32 Tree Syntax Unambiguity fetburner Success
1624 2020/06/19 20:14:26 Constructor is injective kano Success
1623 2020/06/19 20:10:48 Constructor is injective kano Failure
1622 2020/06/19 20:01:48 Three is prime kano Success
1621 2020/06/19 19:48:34 Three is prime kano Success
1620 2020/06/19 19:17:16 Tree Induction fetburner Success
1619 2020/06/19 19:09:18 count_occ_app fetburner Success
1618 2020/06/19 19:05:33 S preserves comparison fetburner Success
1617 2020/06/19 18:58:19 Infinite duplication fetburner Success
1616 2020/06/17 22:53:49 n < m \/ n = m \/ n > m ry3s Success
1615 2020/06/17 21:58:51 Summand of one mttm Success
1614 2020/06/17 01:30:07 Cumulative sum of list mttm Success
1613 2020/06/16 20:11:50 n * S m = n + n * m algon Success
1612 2020/06/16 19:15:18 forall f: bool -> bool, f^3(x) = f(x) algon Success

>>Show ALL