| 479 |
2019/09/08 20:25:16
|
Summand of one
|
siotouto |
Success |
|
|
| 478 |
2019/09/08 20:24:41
|
Multiplication in F_2 is idempotent
|
pekempey |
Success |
|
|
| 477 |
2019/09/08 20:24:19
|
Summand of one
|
efk |
Success |
|
|
| 476 |
2019/09/08 20:20:41
|
Summand of one
|
spica314 |
Success |
|
|
| 475 |
2019/09/08 20:18:29
|
Summand of one
|
coorde |
Success |
|
|
| 474 |
2019/09/08 20:17:04
|
Summand of one
|
coorde |
Failure |
|
|
| 473 |
2019/09/08 20:15:34
|
Multiplication in F_2 is idempotent
|
kaz |
Success |
|
|
| 472 |
2019/09/08 20:14:54
|
Definitions of injectivity
|
sorata |
Success |
|
|
| 471 |
2019/09/08 20:12:59
|
Definitions of injectivity
|
sorata |
Failure |
|
|
| 470 |
2019/09/08 20:12:52
|
Definitions of injectivity
|
kkob |
Success |
|
|
| 469 |
2019/09/08 20:11:41
|
Definitions of injectivity
|
kimiyuki |
Success |
|
|
| 468 |
2019/09/08 20:11:06
|
Definitions of injectivity
|
muratak |
Success |
|
|
| 467 |
2019/09/08 20:10:30
|
Definitions of injectivity
|
satos |
Success |
|
|
| 466 |
2019/09/08 20:09:51
|
Summand of one
|
prime |
Success |
|
|
| 465 |
2019/09/08 20:08:16
|
Summand of one
|
cympfh |
Success |
|
|
| 464 |
2019/09/08 20:08:07
|
Multiplication in F_2 is idempotent
|
kkob |
Success |
|
|
| 463 |
2019/09/08 20:07:04
|
Definitions of injectivity
|
pekempey |
Success |
|
|
| 462 |
2019/09/08 20:06:49
|
Definitions of injectivity
|
kaz |
Success |
|
|
| 461 |
2019/09/08 20:05:37
|
Summand of one
|
sorata |
Success |
|
|
| 460 |
2019/09/08 20:03:37
|
Summand of one
|
kimiyuki |
Success |
|
|
| 459 |
2019/09/08 20:02:56
|
Summand of one
|
drafear |
Success |
|
|
| 458 |
2019/09/08 20:02:54
|
Summand of one
|
okaduki |
Success |
|
|
| 457 |
2019/09/08 20:02:29
|
Summand of one
|
satos |
Success |
|
|
| 456 |
2019/09/08 20:01:23
|
Summand of one
|
kkob |
Success |
|
|
| 455 |
2019/09/08 20:01:20
|
Summand of one
|
kaz |
Success |
|
|
| 454 |
2019/09/08 20:01:17
|
Summand of one
|
muratak |
Success |
|
|
| 453 |
2019/09/08 20:00:44
|
Summand of one
|
pekempey |
Success |
|
|
| 452 |
2019/09/08 18:22:29
|
Identity permutation
|
kozima |
Success |
|
|
| 451 |
2019/09/08 18:22:07
|
Multiplication in F_2 is idempotent
|
kozima |
Success |
|
|
| 450 |
2019/09/08 18:21:27
|
Definitions of injectivity
|
kozima |
Success |
|
|
| 449 |
2019/09/08 18:20:38
|
Summand of one
|
kozima |
Success |
|
|
| 448 |
2019/09/05 01:14:15
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 447 |
2019/09/03 20:55:59
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Success |
|
|
| 446 |
2019/09/03 20:51:57
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Success |
|
|
| 445 |
2019/09/03 20:43:18
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Failure |
|
|
| 444 |
2019/09/03 20:36:23
|
1 + 1 = 2
|
cympfh |
Success |
|
|
| 443 |
2019/09/03 20:35:22
|
plus_comm
|
cympfh |
Success |
|
|
| 442 |
2019/09/03 20:32:23
|
plus_assoc
|
cympfh |
Success |
|
|
| 441 |
2019/09/03 20:25:26
|
Product of n consecutive integers is divisible by n!
|
cympfh |
Success |
|
|
| 440 |
2019/09/03 20:19:03
|
Product of n consecutive integers is divisible by n!
|
cympfh |
Failure |
|
|
| 439 |
2019/09/03 15:06:03
|
n * S m = n + n * m
|
cympfh |
Success |
|
|
| 438 |
2019/09/03 15:02:43
|
n < m \/ n = m \/ n > m
|
cympfh |
Success |
|
|
| 437 |
2019/09/03 14:52:17
|
n < m \/ n = m \/ n > m
|
cympfh |
Failure |
|
|
| 436 |
2019/09/03 14:32:06
|
Cumulative sum of list
|
cympfh |
Success |
|
|
| 435 |
2019/09/01 19:49:53
|
n < m \/ n = m \/ n > m
|
muratak |
Success |
|
|
| 434 |
2019/09/01 19:33:53
|
Cumulative sum of list
|
muratak |
Success |
|
|
| 433 |
2019/09/01 19:33:20
|
Cumulative sum of list
|
muratak |
Failure |
|
|
| 432 |
2019/09/01 19:16:43
|
forall l: list nat, l @ [0] <> []
|
muratak |
Success |
|
|
| 431 |
2019/08/31 22:19:06
|
forall f: bool -> bool, f^3(x) = f(x)
|
yodvhskd |
Success |
|
|
| 430 |
2019/08/31 22:02:00
|
plus_comm
|
yodvhskd |
Success |
|
|