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