| 917 |
2019/10/23 23:52:21
|
n < m \/ n = m \/ n > m
|
miya |
Success |
|
|
| 916 |
2019/10/22 16:34:00
|
Cumulative sum of list
|
miya |
Success |
|
|
| 915 |
2019/10/22 15:57:16
|
Three is prime
|
miya |
Success |
|
|
| 914 |
2019/10/22 15:44:07
|
Boolean-hole principle
|
miya |
Success |
|
|
| 913 |
2019/10/22 15:39:23
|
De Morgan's laws in Coq
|
miya |
Success |
|
|
| 912 |
2019/10/22 15:28:46
|
mult_n_O
|
miya |
Success |
|
|
| 911 |
2019/10/22 15:27:15
|
gcd(n, n+1) = 1
|
miya |
Success |
|
|
| 910 |
2019/10/22 15:18:35
|
Summand of one
|
miya |
Success |
|
|
| 909 |
2019/10/22 15:10:09
|
forall l: list nat, l @ [0] <> []
|
miya |
Success |
|
|
| 908 |
2019/10/22 15:00:56
|
n < m \/ n = m \/ n > m
|
egashira |
Success |
|
|
| 907 |
2019/10/22 14:59:53
|
n < m \/ n = m \/ n > m
|
egashira |
Success |
|
|
| 906 |
2019/10/22 14:07:00
|
n * S m = n + n * m
|
miya |
Success |
|
|
| 905 |
2019/10/22 13:45:56
|
forall f: bool -> bool, f^3(x) = f(x)
|
miya |
Success |
|
|
| 904 |
2019/10/22 13:25:26
|
1 + 1 = 2
|
miya |
Success |
|
|
| 903 |
2019/10/22 13:20:45
|
plus_comm
|
miya |
Success |
|
|
| 902 |
2019/10/22 13:16:02
|
plus_assoc
|
miya |
Success |
|
|
| 901 |
2019/10/22 02:47:53
|
plus_comm
|
yamunaku_ |
Success |
|
|
| 900 |
2019/10/22 02:31:09
|
plus_assoc
|
yamunaku_ |
Success |
|
|
| 899 |
2019/10/22 02:30:46
|
plus_assoc
|
yamunaku_ |
Failure |
|
|
| 898 |
2019/10/21 15:20:50
|
Definitions of injectivity
|
momohatt |
Success |
|
|
| 897 |
2019/10/21 15:07:05
|
Identity permutation
|
momohatt |
Success |
|
|
| 896 |
2019/10/17 20:43:40
|
Three is prime
|
nuip |
Failure |
|
|
| 895 |
2019/10/17 20:39:58
|
count l n = count (rev l) n
|
CoiL |
Success |
|
|
| 894 |
2019/10/17 20:06:30
|
Multiplication in F_2 is idempotent
|
CoiL |
Success |
|
|
| 893 |
2019/10/17 19:37:43
|
Cumulative sum of list
|
CoiL |
Success |
|
|
| 892 |
2019/10/17 19:36:37
|
Cumulative sum of list
|
CoiL |
Success |
|
|
| 891 |
2019/10/12 19:32:42
|
Boolean-hole principle
|
nikeya |
Success |
|
|
| 890 |
2019/10/10 23:35:45
|
plus_assoc
|
JP3BGY |
Success |
|
|
| 889 |
2019/10/10 19:58:25
|
Definitions of injectivity
|
CoiL |
Success |
|
|
| 888 |
2019/10/10 16:38:33
|
1 + 1 = 2
|
ta12ka7shi |
Success |
|
|
| 887 |
2019/10/09 16:10:53
|
Two is not Three
|
CoiL |
Success |
|
|
| 886 |
2019/10/09 16:09:22
|
Two is not Three
|
CoiL |
Failure |
|
|
| 885 |
2019/10/08 13:48:20
|
Boolean-hole principle
|
spica314 |
Success |
|
|
| 884 |
2019/10/08 11:58:14
|
unique count
|
coorde |
Success |
|
|
| 883 |
2019/10/07 15:53:55
|
Any natural number is expressible in binary notation
|
momohatt |
Success |
|
|
| 882 |
2019/10/07 15:51:57
|
Any natural number is expressible in binary notation
|
momohatt |
Failure |
|
|
| 881 |
2019/10/07 15:51:00
|
Any natural number is expressible in binary notation
|
momohatt |
Failure |
|
|
| 880 |
2019/10/07 15:49:51
|
Any natural number is expressible in binary notation
|
momohatt |
Failure |
|
|
| 879 |
2019/10/07 15:36:46
|
Multiplication of non-zero value in F_p is injective
|
momohatt |
Success |
|
|
| 878 |
2019/10/07 14:07:48
|
Three is prime
|
mttm |
Success |
|
|
| 877 |
2019/10/07 09:18:20
|
Two is not Three
|
splatoon_suki |
Success |
|
|
| 876 |
2019/10/06 22:40:11
|
Three is prime
|
pekempey |
Success |
|
|
| 875 |
2019/10/06 22:29:50
|
Two is not Three
|
pekempey |
Success |
|
|
| 874 |
2019/10/06 22:14:52
|
Iterated iteration
|
kaz |
Success |
|
|
| 873 |
2019/10/06 22:06:44
|
Iterated iteration
|
kaz |
Success |
|
|
| 872 |
2019/10/06 22:03:51
|
Iterated iteration
|
coorde |
Success |
|
|
| 871 |
2019/10/06 21:41:56
|
Iterated iteration
|
pekempey |
Success |
|
|
| 870 |
2019/10/06 21:41:43
|
Iterated iteration
|
coorde |
Rejected |
|
|
| 869 |
2019/10/06 21:41:08
|
Iterated iteration
|
coorde |
Failure |
|
|
| 868 |
2019/10/06 21:28:45
|
Iterated iteration
|
hirosegolf |
Success |
|
|