| 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 |
|
|
| 67 |
2019/08/18 16:12:03
|
plus_assoc
|
etonagisa |
Success |
|
|
| 66 |
2019/08/18 16:11:57
|
forall f: bool -> bool, f^3(x) = f(x)
|
koba |
Success |
|
|
| 65 |
2019/08/18 16:11:48
|
1 + 1 = 2
|
heno239 |
Success |
|
|
| 64 |
2019/08/18 16:11:45
|
forall f: bool -> bool, f^3(x) = f(x)
|
kimiyuki |
Success |
|
|
| 63 |
2019/08/18 16:11:15
|
plus_assoc
|
etonagisa |
Failure |
|
|
| 62 |
2019/08/18 16:09:58
|
1 + 1 = 2
|
kcz |
Success |
|
|
| 61 |
2019/08/18 16:09:16
|
1 + 1 = 2
|
kcz |
Failure |
|
|
| 60 |
2019/08/18 16:09:07
|
n * S m = n + n * m
|
utgwkk |
Success |
|
|
| 59 |
2019/08/18 16:08:51
|
n * S m = n + n * m
|
utgwkk |
Failure |
|
|
| 58 |
2019/08/18 16:08:47
|
forall f: bool -> bool, f^3(x) = f(x)
|
drafear |
Failure |
|
|
| 57 |
2019/08/18 16:08:35
|
forall f: bool -> bool, f^3(x) = f(x)
|
drafear |
Failure |
|
|
| 56 |
2019/08/18 16:08:06
|
1 + 1 = 2
|
etonagisa |
Success |
|
|
| 55 |
2019/08/18 16:06:47
|
forall f: bool -> bool, f^3(x) = f(x)
|
suibaka |
Success |
|
|
| 54 |
2019/08/18 16:06:14
|
1 + 1 = 2
|
kimiyuki |
Success |
|
|
| 53 |
2019/08/18 16:06:12
|
1 + 1 = 2
|
CoiL |
Success |
|
|
| 52 |
2019/08/18 16:02:38
|
1 + 1 = 2
|
prime |
Success |
|
|
| 51 |
2019/08/18 16:01:46
|
1 + 1 = 2
|
CoiL |
Failure |
|
|
| 50 |
2019/08/18 16:01:21
|
1 + 1 = 2
|
drafear |
Success |
|
|
| 49 |
2019/08/18 16:00:54
|
1 + 1 = 2
|
suibaka |
Success |
|
|
| 48 |
2019/08/18 16:00:47
|
plus_comm
|
prime |
Success |
|
|
| 47 |
2019/08/18 16:00:42
|
1 + 1 = 2
|
utgwkk |
Success |
|
|
| 46 |
2019/08/18 16:00:30
|
1 + 1 = 2
|
koba |
Success |
|
|
| 45 |
2019/08/18 15:53:01
|
plus_assoc
|
prime |
Success |
|
|
| 44 |
2019/08/18 15:50:06
|
plus_assoc
|
koba |
Success |
|
|
| 43 |
2019/08/18 15:39:21
|
plus_assoc
|
koba |
Success |
|
|
| 42 |
2019/08/18 15:38:54
|
plus_assoc
|
koba |
Failure |
|
|
| 41 |
2019/08/18 12:33:58
|
plus_comm
|
suibaka |
Success |
|
|
| 40 |
2019/08/18 12:30:09
|
plus_assoc
|
suibaka |
Success |
|
|
| 39 |
2019/08/18 09:15:05
|
plus_comm
|
asi1024 |
Success |
|
|
| 38 |
2019/08/17 17:55:48
|
1 + 1 = 2
|
asi1024 |
Success |
|
|
| 37 |
2019/08/15 07:44:49
|
plus_comm
|
taisei |
Success |
|
|
| 36 |
2019/08/15 07:40:23
|
plus_comm
|
taisei |
Failure |
|
|
| 35 |
2019/08/15 07:39:51
|
plus_comm
|
taisei |
Failure |
|
|
| 34 |
2019/08/15 07:39:26
|
plus_assoc
|
taisei |
Success |
|
|
| 33 |
2019/08/15 07:38:13
|
plus_assoc
|
taisei |
Failure |
|
|
| 32 |
2019/08/14 19:55:28
|
plus_assoc
|
kimiyuki |
Rejected |
|
|