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 |
|
|
717 |
2019/09/22 20:24:21
|
mult_n_O
|
kaz |
Success |
|
|
716 |
2019/09/22 20:22:37
|
De Morgan's laws in Coq
|
drafear |
Success |
|
|
715 |
2019/09/22 20:20:25
|
De Morgan's laws in Coq
|
efk |
Success |
|
|
714 |
2019/09/22 20:20:23
|
De Morgan's laws in Coq
|
wass88 |
Success |
|
|
713 |
2019/09/22 20:19:12
|
Any natural number is expressible in binary notation
|
drafear |
Failure |
|
|
712 |
2019/09/22 20:18:25
|
Any natural number is expressible in binary notation
|
kkob |
Success |
|
|
711 |
2019/09/22 20:15:35
|
De Morgan's laws in Coq
|
spica314 |
Success |
|
|
710 |
2019/09/22 20:13:32
|
De Morgan's laws in Coq
|
cympfh |
Success |
|
|
709 |
2019/09/22 20:12:54
|
Any natural number is expressible in binary notation
|
kozima |
Success |
|
|
708 |
2019/09/22 20:11:41
|
mult_n_O
|
coorde |
Success |
|
|
707 |
2019/09/22 20:11:15
|
mult_n_O
|
mttm |
Success |
|
|
706 |
2019/09/22 20:11:00
|
De Morgan's laws in Coq
|
yamarten |
Success |
|
|
705 |
2019/09/22 20:10:38
|
mult_n_O
|
efk |
Success |
|
|
704 |
2019/09/22 20:10:05
|
De Morgan's laws in Coq
|
drafear |
Rejected |
|
|
703 |
2019/09/22 20:09:57
|
mult_n_O
|
wass88 |
Success |
|
|
702 |
2019/09/22 20:09:28
|
Any natural number is expressible in binary notation
|
drafear |
Failure |
|
|
701 |
2019/09/22 20:09:13
|
De Morgan's laws in Coq
|
taisei |
Success |
|
|
700 |
2019/09/22 20:09:02
|
De Morgan's laws in Coq
|
sorata |
Success |
|
|
699 |
2019/09/22 20:05:48
|
De Morgan's laws in Coq
|
muratak |
Success |
|
|
698 |
2019/09/22 20:05:37
|
De Morgan's laws in Coq
|
pekempey |
Success |
|
|
697 |
2019/09/22 20:05:32
|
mult_n_O
|
drafear |
Success |
|
|
696 |
2019/09/22 20:04:10
|
mult_n_O
|
Haar |
Success |
|
|
695 |
2019/09/22 20:03:31
|
De Morgan's laws in Coq
|
kkob |
Success |
|
|
694 |
2019/09/22 20:03:19
|
mult_n_O
|
taisei |
Success |
|
|
693 |
2019/09/22 20:02:57
|
mult_n_O
|
sorata |
Success |
|
|
692 |
2019/09/22 20:02:46
|
De Morgan's laws in Coq
|
kozima |
Success |
|
|
691 |
2019/09/22 20:02:37
|
mult_n_O
|
yamarten |
Success |
|
|
690 |
2019/09/22 20:02:09
|
mult_n_O
|
cympfh |
Success |
|
|
689 |
2019/09/22 20:01:22
|
mult_n_O
|
kozima |
Success |
|
|
688 |
2019/09/22 20:01:21
|
mult_n_O
|
spica314 |
Success |
|
|
687 |
2019/09/22 20:01:19
|
mult_n_O
|
kkob |
Success |
|
|
686 |
2019/09/22 20:01:13
|
mult_n_O
|
prime |
Success |
|
|
685 |
2019/09/22 20:01:08
|
mult_n_O
|
mkakh |
Success |
|
|
684 |
2019/09/22 20:01:06
|
mult_n_O
|
muratak |
Success |
|
|
683 |
2019/09/22 20:00:52
|
mult_n_O
|
cympfh |
Failure |
|
|
682 |
2019/09/22 20:00:27
|
mult_n_O
|
pekempey |
Success |
|
|