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 


813 
2019/10/03 21:23:07

Iterated iteration

kozima 
Success 


812 
2019/10/03 21:22:47

Two is not Three

kozima 
Success 


811 
2019/10/03 21:22:23

Booleanhole principle

kozima 
Success 


810 
2019/10/03 21:22:11

Three is prime

kozima 
Success 


809 
2019/10/03 21:20:52

Booleanhole principle

kozima 
Failure 


808 
2019/10/03 12:42:53

forall l: list nat, l @ [0] <> []

nikeya 
Success 


807 
2019/10/03 12:20:28

mult_n_O

nikeya 
Success 


806 
2019/10/03 12:18:21

De Morgan's laws in Coq

nikeya 
Success 


805 
2019/10/02 18:16:50

1 + 1 = 2

nikeya 
Success 

