943 |
2019/10/26 18:43:06
|
Sum of binomial coefficients
|
kkob |
Success |
|
|
942 |
2019/10/26 18:37:32
|
Yoneda embedding for preorder
|
spica314 |
Success |
|
|
941 |
2019/10/26 18:36:28
|
Double
|
yamarten |
Success |
|
|
940 |
2019/10/26 18:30:10
|
Yoneda embedding for preorder
|
yamarten |
Success |
|
|
939 |
2019/10/26 18:15:52
|
Double
|
miya |
Success |
|
|
938 |
2019/10/26 18:11:37
|
Double
|
pekempey |
Success |
|
|
937 |
2019/10/26 18:07:24
|
Yoneda embedding for preorder
|
yamarten |
Failure |
|
|
936 |
2019/10/26 18:07:02
|
Double
|
kaz |
Success |
|
|
935 |
2019/10/26 18:06:08
|
Yoneda embedding for preorder
|
miya |
Success |
|
|
934 |
2019/10/26 18:05:26
|
Yoneda embedding for preorder
|
miya |
Failure |
|
|
933 |
2019/10/26 18:04:36
|
Yoneda embedding for preorder
|
na4zagin3 |
Success |
|
|
932 |
2019/10/26 18:03:48
|
Yoneda embedding for preorder
|
kaz |
Success |
|
|
931 |
2019/10/26 18:03:42
|
Double
|
kkob |
Success |
|
|
930 |
2019/10/26 18:03:05
|
Yoneda embedding for preorder
|
pekempey |
Success |
|
|
929 |
2019/10/26 18:02:31
|
Yoneda embedding for preorder
|
pekempey |
Failure |
|
|
928 |
2019/10/26 18:02:06
|
Yoneda embedding for preorder
|
kkob |
Success |
|
|
927 |
2019/10/26 17:39:44
|
Boolean-hole principle
|
na4zagin3 |
Failure |
|
|
926 |
2019/10/25 22:21:27
|
Cumulative sum of list
|
na4zagin3 |
Success |
|
|
925 |
2019/10/25 22:07:55
|
Cumulative sum of list
|
na4zagin3 |
Failure |
|
|
924 |
2019/10/25 21:39:40
|
Uniqueness of inequality proofs
|
kozima |
Rejected |
|
|
923 |
2019/10/25 18:33:56
|
Uniqueness of inequality proofs
|
kozima |
Success |
|
|
922 |
2019/10/25 18:29:26
|
Sum of binomial coefficients
|
kozima |
Success |
|
|
921 |
2019/10/25 18:26:53
|
Double
|
kozima |
Success |
|
|
920 |
2019/10/25 18:20:43
|
Yoneda embedding for preorder
|
kozima |
Success |
|
|
919 |
2019/10/24 20:49:48
|
Cumulative sum of list
|
nuip |
Failure |
|
|
918 |
2019/10/24 19:13:57
|
forall l: list nat, l @ [0] <> []
|
nekodesu |
Failure |
|
|
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 |
|
|