117 |
2019/08/18 19:57:54
|
1 + 1 = 2
|
kcz |
Failure |
|
|
116 |
2019/08/18 19:57:35
|
1 + 1 = 2
|
kcz |
Failure |
|
|
115 |
2019/08/18 19:52:07
|
plus_assoc
|
kcz |
Failure |
|
|
114 |
2019/08/18 19:51:54
|
plus_assoc
|
kcz |
Failure |
|
|
113 |
2019/08/18 19:46:33
|
n * S m = n + n * m
|
heno239 |
Success |
|
|
112 |
2019/08/18 19:10:36
|
n * S m = n + n * m
|
kcz |
Failure |
|
|
111 |
2019/08/18 19:04:29
|
n < m \/ n = m \/ n > m
|
wass80 |
Success |
|
|
110 |
2019/08/18 18:44:23
|
plus_assoc
|
etonagisa |
Failure |
|
|
109 |
2019/08/18 18:35:19
|
n * S m = n + n * m
|
siotouto |
Success |
|
|
108 |
2019/08/18 18:33:18
|
n < m \/ n = m \/ n > m
|
etonagisa |
Success |
|
|
107 |
2019/08/18 18:28:32
|
n < m \/ n = m \/ n > m
|
kcz |
Success |
|
|
106 |
2019/08/18 18:18:40
|
Equivalent two quicksorts
|
koba |
Failure |
|
|
105 |
2019/08/18 17:47:00
|
forall f: bool -> bool, f^3(x) = f(x)
|
siotouto |
Success |
|
|
104 |
2019/08/18 17:46:41
|
forall f: bool -> bool, f^3(x) = f(x)
|
kcz |
Success |
|
|
103 |
2019/08/18 17:31:37
|
forall f: bool -> bool, f^3(x) = f(x)
|
kurgm |
Success |
|
|
102 |
2019/08/18 17:30:01
|
n * S m = n + n * m
|
etonagisa |
Failure |
|
|
101 |
2019/08/18 17:29:27
|
n < m \/ n = m \/ n > m
|
CoiL |
Success |
|
|
100 |
2019/08/18 17:29:26
|
forall f: bool -> bool, f^3(x) = f(x)
|
heno239 |
Success |
|
|
99 |
2019/08/18 17:17:37
|
n < m \/ n = m \/ n > m
|
CoiL |
Failure |
|
|
98 |
2019/08/18 17:16:37
|
n < m \/ n = m \/ n > m
|
CoiL |
Failure |
|
|
97 |
2019/08/18 17:03:48
|
n < m \/ n = m \/ n > m
|
utgwkk |
Success |
|
|
96 |
2019/08/18 17:03:21
|
n * S m = n + n * m
|
kcz |
Success |
|
|
95 |
2019/08/18 17:00:39
|
n < m \/ n = m \/ n > m
|
suibaka |
Success |
|
|
94 |
2019/08/18 17:00:12
|
Product of n consecutive integers is divisible by n!
|
koba |
Success |
|
|
93 |
2019/08/18 17:00:04
|
1 + 1 = 2
|
kurgm |
Success |
|
|
92 |
2019/08/18 16:55:43
|
n < m \/ n = m \/ n > m
|
utgwkk |
Success |
|
|
91 |
2019/08/18 16:51:57
|
n < m \/ n = m \/ n > m
|
kimiyuki |
Success |
|
|
90 |
2019/08/18 16:49:26
|
n < m \/ n = m \/ n > m
|
hanazuki |
Success |
|
|
89 |
2019/08/18 16:45:35
|
n * S m = n + n * m
|
hanazuki |
Success |
|
|
88 |
2019/08/18 16:44:37
|
n * S m = n + n * m
|
CoiL |
Success |
|
|
87 |
2019/08/18 16:38:17
|
1 + 1 = 2
|
siotouto |
Success |
|
|
86 |
2019/08/18 16:37:58
|
n < m \/ n = m \/ n > m
|
prime |
Success |
|
|
85 |
2019/08/18 16:37:41
|
forall f: bool -> bool, f^3(x) = f(x)
|
etonagisa |
Success |
|
|
84 |
2019/08/18 16:37:24
|
n < m \/ n = m \/ n > m
|
drafear |
Success |
|
|
83 |
2019/08/18 16:36:01
|
forall f: bool -> bool, f^3(x) = f(x)
|
hanazuki |
Success |
|
|
82 |
2019/08/18 16:32:41
|
n * S m = n + n * m
|
prime |
Success |
|
|
81 |
2019/08/18 16:32:27
|
plus_comm
|
prime |
Failure |
|
|
80 |
2019/08/18 16:30:46
|
forall f: bool -> bool, f^3(x) = f(x)
|
CoiL |
Success |
|
|
79 |
2019/08/18 16:27:01
|
n * S m = n + n * m
|
utgwkk |
Success |
|
|
78 |
2019/08/18 16:25:43
|
plus_comm
|
etonagisa |
Success |
|
|
77 |
2019/08/18 16:21:36
|
n * S m = n + n * m
|
prime |
Success |
|
|
76 |
2019/08/18 16:20:59
|
n * S m = n + n * m
|
suibaka |
Success |
|
|
75 |
2019/08/18 16:18:54
|
n * S m = n + n * m
|
drafear |
Success |
|
|
74 |
2019/08/18 16:18:42
|
n < m \/ n = m \/ n > m
|
koba |
Success |
|
|
73 |
2019/08/18 16:17:35
|
1 + 1 = 2
|
hanazuki |
Success |
|
|
72 |
2019/08/18 16:16:33
|
n * S m = n + n * m
|
koba |
Success |
|
|
71 |
2019/08/18 16:16:26
|
forall f: bool -> bool, f^3(x) = f(x)
|
utgwkk |
Success |
|
|
70 |
2019/08/18 16:16:21
|
forall f: bool -> bool, f^3(x) = f(x)
|
prime |
Success |
|
|
69 |
2019/08/18 16:14:40
|
n * S m = n + n * m
|
kimiyuki |
Success |
|
|
68 |
2019/08/18 16:12:50
|
forall f: bool -> bool, f^3(x) = f(x)
|
drafear |
Success |
|
|