Submissions

Filter

Task Name
User Name
Judge Status

Found 1678 submissions.

# Time Task Name User Name Status
1678 2020/08/09 21:56:40 ?????? yodvhskd Success
1677 2020/08/09 21:48:28 ?????? yodvhskd Success
1676 2020/08/09 21:38:32 ?????? 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
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

>>Show ALL