Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
1717 2020/09/27 20:04:59 If zero were not nat kkob Success
1716 2020/09/27 20:04:22 Flat CPO kik Success
1715 2020/09/27 20:02:15 Flat CPO yodvhskd Success
1714 2020/09/27 20:01:56 Flat CPO kkob Success
1713 2020/09/27 20:01:18 Flat CPO sorata Success
1712 2020/09/27 13:23:44 Sum of n^3 kkob Success
1711 2020/09/27 13:16:18 1 + 1 = 2 kkob Success
1710 2020/09/27 13:16:02 1 + 1 = 2 kkob Success
1709 2020/09/27 12:47:34 plus_assoc kkob Success
1708 2020/09/27 11:49:22 plus_assoc kkob Success
1707 2020/09/27 11:44:15 Friends and strangers kkob Failure
1706 2020/09/24 20:21:01 Perfect Square? kozima Success
1705 2020/09/24 20:19:38 Eat the Candies kozima Success
1704 2020/09/24 20:16:19 Perfect Square? kozima Failure
1703 2020/09/24 20:14:57 If zero were not nat kozima Success
1702 2020/09/24 20:13:02 Flat CPO kozima Success
1701 2020/09/22 19:05:41 Friends and strangers fetburner Success
1700 2020/09/22 18:42:31 The set of all finite sequences of bool is countable fetburner Success
1699 2020/08/18 21:33:51 Fibonacci numbers modulo 2 fetburner Success
1698 2020/08/18 20:43:29 Rotate once fetburner Success
1697 2020/08/18 19:06:51 Sum of n^3 fetburner Success
1696 2020/08/17 18:14:08 Friends and strangers (corrected) kozima Success
1695 2020/08/17 00:45:27 Friends and strangers (corrected) yodvhskd Success
1694 2020/08/16 23:46:03 Friends and strangers kozima Success
1693 2020/08/16 23:45:28 Friends and strangers sorata Success
1692 2020/08/16 22:36:09 Friends and strangers kik Success
1691 2020/08/16 22:03:55 The set of all finite sequences of bool is countable kozima Success
1690 2020/08/16 21:42:40 Rotate once sorata Success
1689 2020/08/16 21:27:51 Fibonacci numbers modulo 2 kik Success
1688 2020/08/16 21:18:35 Rotate once kozima Success
1687 2020/08/16 20:26:26 Sum of n^3 mttm Success
1686 2020/08/16 20:21:59 Sum of n^3 mttm Rejected
1685 2020/08/16 20:17:04 Fibonacci numbers modulo 2 kozima Success
1684 2020/08/16 20:15:44 Sum of n^3 kano Success
1683 2020/08/16 20:11:15 Sum of n^3 kik Success
1682 2020/08/16 20:06:17 Sum of n^3 sorata Success
1681 2020/08/16 20:02:15 Sum of n^3 kozima Success
1680 2020/08/15 16:38:16 Friends and strangers yodvhskd Success
1679 2020/08/15 00:35:04 The set of all finite sequences of bool is countable yodvhskd Success
1678 2020/08/09 21:56:40 Fibonacci numbers modulo 2 yodvhskd Success
1677 2020/08/09 21:48:28 Rotate once yodvhskd Success
1676 2020/08/09 21:38:32 Sum of n^3 yodvhskd Success
1675 2020/08/01 14:16:57 1 + 1 = 2 pandaman Success
1674 2020/08/01 14:16:30 forall f: bool -> bool, f^3(x) = f(x) pandaman Success
1673 2020/08/01 14:07:07 1 + 1 = 2 pandaman Failure
1672 2020/08/01 14:05:41 plus_comm pandaman Success
1671 2020/08/01 13:48:55 plus_assoc pandaman Success
1670 2020/07/20 00:32:34 Multiplication in F_2 is idempotent mttm Success
1669 2020/07/20 00:11:02 Definitions of injectivity mttm Success
1668 2020/07/19 05:51:58 De Morgan's laws in Coq Eldora Failure

>>Show ALL