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 |
|
|