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