Submissions

Filter

Task Name
User Name
Judge Status

Found 1701 submissions.

# Time Task Name User Name Status
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
1667 2020/07/19 05:50:56 De Morgan's laws in Coq Eldora Rejected
1666 2020/07/19 05:48:43 De Morgan's laws in Coq Eldora Failure
1665 2020/07/19 05:48:03 De Morgan's laws in Coq Eldora Rejected
1664 2020/07/19 05:45:09 and_comm (Lean) Eldora Failure
1663 2020/07/19 05:41:04 De Morgan's laws in Coq Eldora Rejected
1662 2020/07/19 05:02:03 Summand of one Eldora Success
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

>>Show ALL