1412 
2020/03/15 20:22:59

Not a sum of squares

kkob 
Success 


1411 
2020/03/15 20:18:13

Postorder traversal

kaz 
Success 


1410 
2020/03/15 20:13:52

Postorder traversal

fetburner 
Success 


1409 
2020/03/15 20:13:01

Not a sum of squares

kaz 
Success 


1408 
2020/03/15 20:12:07

eq_sym?

kik 
Success 


1407 
2020/03/15 20:05:23

eq_sym?

tanakh 
Success 


1406 
2020/03/15 20:04:11

eq_sym?

prime 
Success 


1405 
2020/03/15 20:04:02

eq_sym?

kimiyuki 
Success 


1404 
2020/03/15 20:03:50

eq_sym?

sorata 
Success 


1403 
2020/03/15 20:03:45

eq_sym?

tzik 
Success 


1402 
2020/03/15 20:03:16

eq_sym?

fetburner 
Success 


1401 
2020/03/15 20:02:44

eq_sym?

yamarten 
Success 


1400 
2020/03/15 20:01:34

eq_sym?

kkob 
Success 


1399 
2020/03/15 20:01:02

eq_sym?

yodvhskd 
Success 


1398 
2020/03/15 20:01:00

eq_sym?

kaz 
Success 


1397 
2020/03/15 19:47:54

Zero test

yodvhskd 
Success 


1396 
2020/03/15 19:20:09

Three is prime

prime 
Failure 


1395 
2020/03/15 18:42:47

Booleanhole principle

prime 
Success 


1394 
2020/03/12 20:05:52

mult_n_O

nekodesu 
Failure 


1393 
2020/03/12 19:55:51

gcd(n, n+1) = 1

nekodesu 
Failure 


1392 
2020/03/10 19:46:44

Cycle detection

kozima 
Success 


1391 
2020/03/10 19:46:08

Postorder traversal

kozima 
Success 


1390 
2020/03/10 19:45:06

Not a sum of squares

kozima 
Success 


1389 
2020/03/10 19:44:14

eq_sym?

kozima 
Success 


1388 
2020/03/05 19:00:38

and_comm (Lean)

ukikagi 
Success 


1387 
2020/02/26 14:48:34

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

yishibashi 
Success 


1386 
2020/02/25 17:50:45

Zero test

proofninja 
Failure 


1385 
2020/02/24 03:44:57

Zero test

chir 
Success 


1384 
2020/02/24 03:01:08

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

chir 
Success 


1383 
2020/02/24 02:45:21

n * S m = n + n * m

chir 
Success 


1382 
2020/02/24 02:21:42

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

chir 
Success 


1381 
2020/02/24 02:10:16

1 + 1 = 2

chir 
Success 


1380 
2020/02/20 08:11:11

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

emoken 
Success 


1379 
2020/02/18 12:27:11

n * S m = n + n * m

emoken 
Success 


1378 
2020/02/18 12:21:58

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

emoken 
Success 


1377 
2020/02/18 12:11:50

1 + 1 = 2

emoken 
Success 


1376 
2020/02/18 12:07:53

plus_comm

emoken 
Success 


1375 
2020/02/18 12:00:19

plus_comm

emoken 
Success 


1374 
2020/02/18 11:53:06

plus_assoc

emoken 
Success 


1373 
2020/02/13 19:01:51

and_comm (Lean)

na4zagin3 
Success 


1372 
2020/02/13 18:38:32

and_comm (Lean)

blue_jam 
Success 


1371 
2020/02/08 07:20:41

and_comm (Lean)

tzik 
Success 


1370 
2020/02/07 14:55:59

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

mttm 
Success 


1369 
2020/02/07 14:42:57

Product of n consecutive integers is divisible by n!

mttm 
Success 


1368 
2020/02/06 19:07:17

gcd(n, n+1) = 1

nekodesu 
Failure 


1367 
2020/02/05 13:46:12

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

mttm 
Success 


1366 
2020/02/05 08:19:22

and_comm (Lean)

nekodesu 
Success 


1365 
2020/02/05 04:09:02

and_comm (Lean)

nuip 
Failure 


1364 
2020/02/05 04:07:26

and_comm (Lean)

nuip 
Success 


1363 
2020/02/05 04:06:47

and_comm (Lean)

nuip 
Failure 

