Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
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
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

>>Show ALL