| 867 |
2019/10/06 21:28:07
|
Iterated iteration
|
hirosegolf |
Failure |
|
|
| 866 |
2019/10/06 21:21:20
|
Two is not Three
|
momohatt |
Success |
|
|
| 865 |
2019/10/06 21:17:34
|
Two is not Three
|
sorata |
Success |
|
|
| 864 |
2019/10/06 21:03:23
|
Iterated iteration
|
yodvhskd |
Success |
|
|
| 863 |
2019/10/06 20:59:47
|
Iterated iteration
|
pekempey |
Rejected |
|
|
| 862 |
2019/10/06 20:48:47
|
Three is prime
|
sorata |
Success |
|
|
| 861 |
2019/10/06 20:48:25
|
Boolean-hole principle
|
sorata |
Success |
|
|
| 860 |
2019/10/06 20:46:58
|
Iterated iteration
|
sorata |
Success |
|
|
| 859 |
2019/10/06 20:46:50
|
Boolean-hole principle
|
mttm |
Success |
|
|
| 858 |
2019/10/06 20:42:38
|
Three is prime
|
coorde |
Success |
|
|
| 857 |
2019/10/06 20:42:03
|
Three is prime
|
okaduki |
Success |
|
|
| 856 |
2019/10/06 20:40:08
|
Two is not Three
|
yodvhskd |
Success |
|
|
| 855 |
2019/10/06 20:40:04
|
Two is not Three
|
kkob |
Success |
|
|
| 854 |
2019/10/06 20:35:36
|
Boolean-hole principle
|
coorde |
Success |
|
|
| 853 |
2019/10/06 20:34:40
|
Three is prime
|
yamarten |
Success |
|
|
| 852 |
2019/10/06 20:32:23
|
Two is not Three
|
hirosegolf |
Success |
|
|
| 851 |
2019/10/06 20:31:17
|
Iterated iteration
|
momohatt |
Success |
|
|
| 850 |
2019/10/06 20:27:29
|
Three is prime
|
pekempey |
Success |
|
|
| 849 |
2019/10/06 20:27:27
|
Iterated iteration
|
kaz |
Success |
|
|
| 848 |
2019/10/06 20:27:25
|
Iterated iteration
|
momohatt |
Rejected |
|
|
| 847 |
2019/10/06 20:26:17
|
Iterated iteration
|
momohatt |
Failure |
|
|
| 846 |
2019/10/06 20:22:25
|
Iterated iteration
|
kkob |
Success |
|
|
| 845 |
2019/10/06 20:19:44
|
Boolean-hole principle
|
yamarten |
Success |
|
|
| 844 |
2019/10/06 20:18:32
|
Three is prime
|
sorata |
Failure |
|
|
| 843 |
2019/10/06 20:15:31
|
Three is prime
|
yodvhskd |
Success |
|
|
| 842 |
2019/10/06 20:13:00
|
Three is prime
|
hirosegolf |
Success |
|
|
| 841 |
2019/10/06 20:10:59
|
Two is not Three
|
kaz |
Success |
|
|
| 840 |
2019/10/06 20:08:51
|
Three is prime
|
momohatt |
Success |
|
|
| 839 |
2019/10/06 20:07:03
|
Boolean-hole principle
|
yodvhskd |
Success |
|
|
| 838 |
2019/10/06 20:05:49
|
Boolean-hole principle
|
okaduki |
Success |
|
|
| 837 |
2019/10/06 20:04:41
|
Three is prime
|
kaz |
Success |
|
|
| 836 |
2019/10/06 20:02:27
|
Boolean-hole principle
|
kaz |
Success |
|
|
| 835 |
2019/10/06 20:02:00
|
Boolean-hole principle
|
sorata |
Failure |
|
|
| 834 |
2019/10/06 20:01:56
|
Three is prime
|
kkob |
Success |
|
|
| 833 |
2019/10/06 20:01:41
|
Boolean-hole principle
|
hirosegolf |
Success |
|
|
| 832 |
2019/10/06 20:01:15
|
Boolean-hole principle
|
momohatt |
Success |
|
|
| 831 |
2019/10/06 20:01:03
|
Boolean-hole principle
|
pekempey |
Success |
|
|
| 830 |
2019/10/06 20:00:50
|
Boolean-hole principle
|
kkob |
Success |
|
|
| 829 |
2019/10/05 14:01:43
|
Any natural number is expressible in binary notation
|
hirosegolf |
Success |
|
|
| 828 |
2019/10/05 11:43:31
|
unique (unique l) = l
|
hirosegolf |
Success |
|
|
| 827 |
2019/10/05 10:20:49
|
count l n = count (rev l) n
|
hirosegolf |
Success |
|
|
| 826 |
2019/10/05 10:19:14
|
count l n = count (rev l) n
|
hirosegolf |
Failure |
|
|
| 825 |
2019/10/05 10:18:20
|
count l n = count (rev l) n
|
hirosegolf |
Failure |
|
|
| 824 |
2019/10/05 09:13:55
|
gcd(n, n+1) = 1
|
hirosegolf |
Success |
|
|
| 823 |
2019/10/05 01:58:21
|
Multiplication in F_2 is idempotent
|
hirosegolf |
Success |
|
|
| 822 |
2019/10/05 01:08:07
|
Definitions of injectivity
|
hirosegolf |
Success |
|
|
| 821 |
2019/10/05 01:06:07
|
Definitions of injectivity
|
hirosegolf |
Failure |
|
|
| 820 |
2019/10/05 00:49:38
|
Summand of one
|
hirosegolf |
Success |
|
|
| 819 |
2019/10/05 00:46:51
|
Cumulative sum of list
|
hirosegolf |
Success |
|
|
| 818 |
2019/10/04 23:51:04
|
forall l: list nat, l @ [0] <> []
|
hirosegolf |
Success |
|
|