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 |
|
|
681 |
2019/09/22 14:19:13
|
Multiplication of non-zero value in F_p is injective
|
kimiyuki |
Success |
|
|
680 |
2019/09/22 14:17:48
|
Any natural number is expressible in binary notation
|
kimiyuki |
Success |
|
|
679 |
2019/09/22 14:15:39
|
De Morgan's laws in Coq
|
kimiyuki |
Success |
|
|
678 |
2019/09/22 14:13:25
|
De Morgan's laws in Coq
|
kimiyuki |
Failure |
|
|
677 |
2019/09/22 14:11:29
|
mult_n_O
|
kimiyuki |
Success |
|
|
676 |
2019/09/22 04:46:50
|
plus_assoc
|
kivantium |
Success |
|
|
675 |
2019/09/21 17:08:01
|
forall l: list nat, l @ [0] <> []
|
mkakh |
Success |
|
|
674 |
2019/09/21 00:40:22
|
unique count
|
okaduki |
Success |
|
|
673 |
2019/09/20 22:14:26
|
n < m \/ n = m \/ n > m
|
anqou |
Success |
|
|
672 |
2019/09/20 19:40:23
|
forall f: bool -> bool, f^3(x) = f(x)
|
mkakh |
Success |
|
|
671 |
2019/09/20 19:27:55
|
n * S m = n + n * m
|
mkakh |
Success |
|
|
670 |
2019/09/20 19:17:30
|
n < m \/ n = m \/ n > m
|
mkakh |
Success |
|
|
669 |
2019/09/20 18:31:36
|
unique (unique l) = l
|
mkakh |
Failure |
|
|
668 |
2019/09/20 17:29:43
|
plus_assoc
|
mkakh |
Success |
|
|