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

Booleanhole principle

sorata 
Success 


860 
2019/10/06 20:46:58

Iterated iteration

sorata 
Success 


859 
2019/10/06 20:46:50

Booleanhole 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

Booleanhole 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

Booleanhole 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

Booleanhole principle

yodvhskd 
Success 


838 
2019/10/06 20:05:49

Booleanhole principle

okaduki 
Success 


837 
2019/10/06 20:04:41

Three is prime

kaz 
Success 


836 
2019/10/06 20:02:27

Booleanhole principle

kaz 
Success 


835 
2019/10/06 20:02:00

Booleanhole principle

sorata 
Failure 


834 
2019/10/06 20:01:56

Three is prime

kkob 
Success 


833 
2019/10/06 20:01:41

Booleanhole principle

hirosegolf 
Success 


832 
2019/10/06 20:01:15

Booleanhole principle

momohatt 
Success 


831 
2019/10/06 20:01:03

Booleanhole principle

pekempey 
Success 


830 
2019/10/06 20:00:50

Booleanhole 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 


817 
2019/10/04 23:39:24

n < m \/ n = m \/ n > m

hirosegolf 
Success 


816 
2019/10/04 23:37:00

n * S m = n + n * m

hirosegolf 
Success 


815 
2019/10/04 23:32:23

forall f: bool > bool, f^3(x) = f(x)

hirosegolf 
Success 


814 
2019/10/04 23:17:23

1 + 1 = 2

hirosegolf 
Success 

