| 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 |
|
|
| 429 |
2019/08/31 18:20:24
|
Cumulative sum of list
|
admitted |
Success |
|
|
| 428 |
2019/08/31 17:53:39
|
forall l: list nat, l @ [0] <> []
|
admitted |
Success |
|
|
| 427 |
2019/08/31 16:35:17
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 426 |
2019/08/31 16:34:26
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 425 |
2019/08/31 16:33:34
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Failure |
|
|
| 424 |
2019/08/31 04:59:27
|
n < m \/ n = m \/ n > m
|
admitted |
Success |
|
|
| 423 |
2019/08/31 04:35:39
|
n * S m = n + n * m
|
admitted |
Success |
|
|
| 422 |
2019/08/31 04:22:47
|
forall f: bool -> bool, f^3(x) = f(x)
|
admitted |
Success |
|
|
| 421 |
2019/08/31 04:05:00
|
1 + 1 = 2
|
admitted |
Success |
|
|
| 420 |
2019/08/31 04:02:26
|
plus_comm
|
admitted |
Success |
|
|
| 419 |
2019/08/31 03:51:03
|
plus_assoc
|
admitted |
Success |
|
|
| 418 |
2019/08/31 00:32:14
|
1 + 1 = 2
|
yodvhskd |
Success |
|
|