| 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 |
|
|