| 767 |
2019/09/23 02:32:20
|
1 + 1 = 2
|
melan |
Failure |
|
|
| 766 |
2019/09/23 00:17:36
|
mult_n_O
|
kozima |
Success |
|
|
| 765 |
2019/09/23 00:00:10
|
Multiplication of non-zero value in F_p is injective
|
muratak |
Success |
|
|
| 764 |
2019/09/22 23:59:21
|
Multiplication of non-zero value in F_p is injective
|
muratak |
Failure |
|
|
| 763 |
2019/09/22 22:37:07
|
Multiplication of non-zero value in F_p is injective
|
kkob |
Success |
|
|
| 762 |
2019/09/22 22:01:31
|
Multiplication of non-zero value in F_p is injective
|
prime |
Success |
|
|
| 761 |
2019/09/22 21:56:45
|
Multiplication of non-zero value in F_p is injective
|
drafear |
Failure |
|
|
| 760 |
2019/09/22 21:56:02
|
Multiplication of non-zero value in F_p is injective
|
pekempey |
Success |
|
|
| 759 |
2019/09/22 21:54:35
|
De Morgan's laws in Coq
|
mkakh |
Rejected |
|
|
| 758 |
2019/09/22 21:49:06
|
Any natural number is expressible in binary notation
|
spica314 |
Success |
|
|
| 757 |
2019/09/22 21:47:16
|
Any natural number is expressible in binary notation
|
yamarten |
Success |
|
|
| 756 |
2019/09/22 21:46:21
|
Any natural number is expressible in binary notation
|
muratak |
Success |
|
|
| 755 |
2019/09/22 21:46:10
|
Any natural number is expressible in binary notation
|
yamarten |
Failure |
|
|
| 754 |
2019/09/22 21:45:42
|
Any natural number is expressible in binary notation
|
muratak |
Failure |
|
|
| 753 |
2019/09/22 21:44:59
|
Any natural number is expressible in binary notation
|
muratak |
Failure |
|
|
| 752 |
2019/09/22 21:35:06
|
Any natural number is expressible in binary notation
|
efk |
Success |
|
|
| 751 |
2019/09/22 21:24:50
|
De Morgan's laws in Coq
|
Haar |
Success |
|
|
| 750 |
2019/09/22 21:17:12
|
Any natural number is expressible in binary notation
|
wass88 |
Success |
|
|
| 749 |
2019/09/22 21:16:40
|
Any natural number is expressible in binary notation
|
wass88 |
Failure |
|
|
| 748 |
2019/09/22 21:13:42
|
Any natural number is expressible in binary notation
|
taisei |
Success |
|
|
| 747 |
2019/09/22 21:12:05
|
Any natural number is expressible in binary notation
|
wass88 |
Failure |
|
|
| 746 |
2019/09/22 21:10:58
|
Any natural number is expressible in binary notation
|
wass88 |
Failure |
|
|
| 745 |
2019/09/22 21:08:06
|
Any natural number is expressible in binary notation
|
taisei |
Failure |
|
|
| 744 |
2019/09/22 21:06:37
|
Any natural number is expressible in binary notation
|
prime |
Success |
|
|
| 743 |
2019/09/22 21:06:10
|
De Morgan's laws in Coq
|
minaminao |
Success |
|
|
| 742 |
2019/09/22 21:05:27
|
Any natural number is expressible in binary notation
|
taisei |
Failure |
|
|
| 741 |
2019/09/22 21:04:28
|
De Morgan's laws in Coq
|
minaminao |
Rejected |
|
|
| 740 |
2019/09/22 21:03:14
|
Any natural number is expressible in binary notation
|
taisei |
Failure |
|
|
| 739 |
2019/09/22 21:02:29
|
Multiplication of non-zero value in F_p is injective
|
sorata |
Success |
|
|
| 738 |
2019/09/22 20:59:35
|
Any natural number is expressible in binary notation
|
taisei |
Failure |
|
|
| 737 |
2019/09/22 20:55:34
|
De Morgan's laws in Coq
|
Haar |
Rejected |
|
|
| 736 |
2019/09/22 20:53:08
|
De Morgan's laws in Coq
|
mkakh |
Rejected |
|
|
| 735 |
2019/09/22 20:48:03
|
De Morgan's laws in Coq
|
okaduki |
Success |
|
|
| 734 |
2019/09/22 20:46:14
|
Any natural number is expressible in binary notation
|
kaz |
Success |
|
|
| 733 |
2019/09/22 20:45:54
|
Multiplication of non-zero value in F_p is injective
|
kozima |
Success |
|
|
| 732 |
2019/09/22 20:45:21
|
mult_n_O
|
minaminao |
Success |
|
|
| 731 |
2019/09/22 20:42:52
|
De Morgan's laws in Coq
|
okaduki |
Rejected |
|
|
| 730 |
2019/09/22 20:39:55
|
Any natural number is expressible in binary notation
|
coorde |
Success |
|
|
| 729 |
2019/09/22 20:36:34
|
Any natural number is expressible in binary notation
|
pekempey |
Success |
|
|
| 728 |
2019/09/22 20:34:50
|
Any natural number is expressible in binary notation
|
pekempey |
Failure |
|
|
| 727 |
2019/09/22 20:34:24
|
Any natural number is expressible in binary notation
|
drafear |
Success |
|
|
| 726 |
2019/09/22 20:32:58
|
Multiplication of non-zero value in F_p is injective
|
kkob |
Success |
|
|
| 725 |
2019/09/22 20:32:37
|
Any natural number is expressible in binary notation
|
pekempey |
Failure |
|
|
| 724 |
2019/09/22 20:30:10
|
Any natural number is expressible in binary notation
|
drafear |
Failure |
|
|
| 723 |
2019/09/22 20:25:52
|
Any natural number is expressible in binary notation
|
sorata |
Success |
|
|
| 722 |
2019/09/22 20:24:48
|
De Morgan's laws in Coq
|
coorde |
Success |
|
|
| 721 |
2019/09/22 20:24:44
|
De Morgan's laws in Coq
|
mttm |
Success |
|
|
| 720 |
2019/09/22 20:24:35
|
De Morgan's laws in Coq
|
prime |
Success |
|
|
| 719 |
2019/09/22 20:24:29
|
mult_n_O
|
okaduki |
Success |
|
|
| 718 |
2019/09/22 20:24:22
|
De Morgan's laws in Coq
|
kaz |
Success |
|
|