Submissions

Filter

Task Name
User Name
Judge Status

Found 1876 submissions.

# Time Task Name User Name Status
1776 2020/10/12 03:47:20 1 + 1 = 2 uenoku Success
1775 2020/10/12 03:26:20 plus_assoc uenoku Success
1774 2020/10/12 03:20:57 forall l: list nat, l @ [0] <> [] uenoku Success
1773 2020/10/12 03:20:03 forall l: list nat, l @ [0] <> [] uenoku Failure
1772 2020/10/12 03:19:32 forall l: list nat, l @ [0] <> [] uenoku Failure
1771 2020/10/10 14:40:30 Grand Garden yodvhskd Success
1770 2020/10/10 01:56:09 unique (unique l) = l shift0 Success
1769 2020/10/10 01:12:38 gcd(n, n+1) = 1 shift0 Success
1768 2020/10/10 01:11:42 gcd(n, n+1) = 1 shift0 Failure
1767 2020/10/10 01:01:48 Multiplication in F_2 is idempotent shift0 Success
1766 2020/10/09 23:38:38 Definitions of injectivity shift0 Success
1765 2020/10/09 22:56:59 Cumulative sum of list shift0 Success
1764 2020/10/09 21:25:16 forall l: list nat, l @ [0] <> [] shift0 Success
1763 2020/10/09 21:24:28 forall l: list nat, l @ [0] <> [] shift0 Failure
1762 2020/10/09 21:23:36 forall l: list nat, l @ [0] <> [] shift0 Failure
1761 2020/10/05 22:27:03 unique count yodvhskd Success
1760 2020/09/30 19:21:22 Eat the Candies yodvhskd Success
1759 2020/09/30 09:54:31 Eat the Candies kkob Success
1758 2020/09/29 21:05:57 Flat CPO nekodesu Failure
1757 2020/09/29 20:45:08 Flat CPO nuip Failure
1756 2020/09/29 20:27:57 Double shift0 Success
1755 2020/09/29 20:27:05 Double shift0 Failure
1754 2020/09/29 20:25:42 Double shift0 Failure
1753 2020/09/29 20:24:34 Double shift0 Failure
1752 2020/09/29 19:40:43 Yoneda embedding for preorder shift0 Success
1751 2020/09/29 19:39:49 Yoneda embedding for preorder shift0 Failure
1750 2020/09/29 17:32:20 Sum of n^3 shift0 Success
1749 2020/09/29 16:00:06 Perfect Square? shift0 Success
1748 2020/09/29 12:26:02 If zero were not nat shift0 Success
1747 2020/09/29 12:21:26 If zero were not nat shift0 Failure
1746 2020/09/29 12:20:27 If zero were not nat shift0 Failure
1745 2020/09/29 12:18:57 If zero were not nat shift0 Failure
1744 2020/09/29 11:37:45 Flat CPO shift0 Success
1743 2020/09/29 10:29:23 n < m \/ n = m \/ n > m shift0 Success
1742 2020/09/29 09:40:31 forall f: bool -> bool, f^3(x) = f(x) shift0 Success
1741 2020/09/28 10:11:49 Eat the Candies kkob Success
1740 2020/09/28 04:19:42 n * S m = n + n * m shift0 Success
1739 2020/09/28 03:00:58 1 + 1 = 2 shift0 Success
1738 2020/09/28 02:59:45 plus_comm shift0 Success
1737 2020/09/28 02:41:25 plus_assoc shift0 Success
1736 2020/09/28 02:34:05 plus_assoc shift0 Failure
1735 2020/09/28 02:32:55 plus_assoc shift0 Failure
1734 2020/09/28 02:14:29 Eat the Candies kik Success
1733 2020/09/28 02:03:15 Eat the Candies kik Success
1732 2020/09/28 01:51:11 Eat the Candies kik Success
1731 2020/09/27 23:24:11 Eat the Candies kik Success
1730 2020/09/27 22:00:58 Eat the Candies sorata Failure
1729 2020/09/27 21:57:52 Eat the Candies kik Failure
1728 2020/09/27 21:45:17 Eat the Candies kkob Success
1727 2020/09/27 20:52:06 Flat CPO kano Success

>>Show ALL