| 543 |
2019/09/13 17:57:53
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 542 |
2019/09/12 23:11:18
|
plus_assoc
|
minaminao |
Success |
|
|
| 541 |
2019/09/12 20:48:27
|
n * S m = n + n * m
|
egashira |
Success |
|
|
| 540 |
2019/09/12 20:30:48
|
plus_comm
|
egashira |
Success |
|
|
| 539 |
2019/09/12 20:25:40
|
plus_assoc
|
egashira |
Success |
|
|
| 538 |
2019/09/12 20:22:52
|
1 + 1 = 2
|
egashira |
Success |
|
|
| 537 |
2019/09/11 21:30:07
|
1 + 1 = 2
|
skwbc |
Success |
|
|
| 536 |
2019/09/10 07:43:52
|
n * S m = n + n * m
|
Haar |
Success |
|
|
| 535 |
2019/09/10 07:36:07
|
forall f: bool -> bool, f^3(x) = f(x)
|
Haar |
Success |
|
|
| 534 |
2019/09/09 18:37:57
|
Identity permutation
|
cympfh |
Success |
|
|
| 533 |
2019/09/09 17:39:14
|
l1 <> l2 if l2 is an odd permutation of l1
|
okaduki |
Success |
|
|
| 532 |
2019/09/09 10:21:58
|
1 + 1 = 2
|
Haar |
Success |
|
|
| 531 |
2019/09/09 10:15:42
|
plus_comm
|
Haar |
Success |
|
|
| 530 |
2019/09/09 10:09:50
|
plus_assoc
|
Haar |
Success |
|
|
| 529 |
2019/09/09 01:28:34
|
Definitions of injectivity
|
spica314 |
Success |
|
|
| 528 |
2019/09/09 00:42:39
|
Cumulative sum of list
|
coorde |
Success |
|
|
| 527 |
2019/09/09 00:36:30
|
Cumulative sum of list
|
kurgm |
Success |
|
|
| 526 |
2019/09/09 00:25:06
|
Definitions of injectivity
|
coorde |
Success |
|
|
| 525 |
2019/09/09 00:19:57
|
plus_assoc
|
spica314 |
Success |
|
|
| 524 |
2019/09/09 00:14:07
|
forall l: list nat, l @ [0] <> []
|
kurgm |
Success |
|
|
| 523 |
2019/09/09 00:02:45
|
Multiplication in F_2 is idempotent
|
coorde |
Success |
|
|
| 522 |
2019/09/09 00:02:22
|
Identity permutation
|
taisei |
Success |
|
|
| 521 |
2019/09/08 23:48:44
|
Multiplication in F_2 is idempotent
|
kurgm |
Success |
|
|
| 520 |
2019/09/08 23:35:28
|
Multiplication in F_2 is idempotent
|
cympfh |
Success |
|
|
| 519 |
2019/09/08 23:30:05
|
Identity permutation
|
okaduki |
Success |
|
|
| 518 |
2019/09/08 23:12:17
|
Identity permutation
|
okaduki |
Success |
|
|
| 517 |
2019/09/08 22:51:49
|
Identity permutation
|
koba |
Success |
|
|
| 516 |
2019/09/08 22:49:39
|
Definitions of injectivity
|
kurgm |
Success |
|
|
| 515 |
2019/09/08 22:34:34
|
Identity permutation
|
kkob |
Success |
|
|
| 514 |
2019/09/08 22:26:18
|
Multiplication in F_2 is idempotent
|
koba |
Success |
|
|
| 513 |
2019/09/08 22:17:51
|
Identity permutation
|
kkob |
Success |
|
|
| 512 |
2019/09/08 22:15:20
|
Definitions of injectivity
|
koba |
Success |
|
|
| 511 |
2019/09/08 22:10:57
|
Definitions of injectivity
|
spica314 |
Rejected |
|
|
| 510 |
2019/09/08 22:06:45
|
Multiplication in F_2 is idempotent
|
prime |
Success |
|
|
| 509 |
2019/09/08 22:03:37
|
Multiplication in F_2 is idempotent
|
efk |
Success |
|
|
| 508 |
2019/09/08 22:00:03
|
Summand of one
|
koba |
Success |
|
|
| 507 |
2019/09/08 21:59:21
|
Identity permutation
|
kkob |
Success |
|
|
| 506 |
2019/09/08 21:52:23
|
Definitions of injectivity
|
spica314 |
Rejected |
|
|
| 505 |
2019/09/08 21:47:13
|
Summand of one
|
kurgm |
Success |
|
|
| 504 |
2019/09/08 21:39:55
|
Identity permutation
|
mttm |
Success |
|
|
| 503 |
2019/09/08 21:34:09
|
Definitions of injectivity
|
okaduki |
Success |
|
|
| 502 |
2019/09/08 21:28:09
|
Definitions of injectivity
|
yamarten |
Success |
|
|
| 501 |
2019/09/08 21:25:31
|
Identity permutation
|
muratak |
Success |
|
|
| 500 |
2019/09/08 21:25:05
|
Identity permutation
|
muratak |
Failure |
|
|
| 499 |
2019/09/08 21:24:25
|
Identity permutation
|
muratak |
Failure |
|
|
| 498 |
2019/09/08 21:12:32
|
Summand of one
|
yamarten |
Success |
|
|
| 497 |
2019/09/08 21:10:48
|
Identity permutation
|
drafear |
Success |
|
|
| 496 |
2019/09/08 21:10:31
|
Identity permutation
|
drafear |
Success |
|
|
| 495 |
2019/09/08 21:10:18
|
Identity permutation
|
kimiyuki |
Success |
|
|
| 494 |
2019/09/08 21:09:02
|
Definitions of injectivity
|
efk |
Success |
|
|