1427 
2020/03/15 21:25:10

Cycle detection

kaz 
Success 


1426 
2020/03/15 21:16:50

Postorder traversal

natsugiri 
Success 


1425 
2020/03/15 21:14:51

Postorder traversal

yamarten 
Success 


1424 
2020/03/15 21:11:56

Not a sum of squares

tzik 
Success 


1423 
2020/03/15 21:06:54

Postorder traversal

kimiyuki 
Success 


1422 
2020/03/15 21:05:31

Not a sum of squares

kik 
Success 


1421 
2020/03/15 20:57:09

eq_sym?

mttm 
Success 


1420 
2020/03/15 20:52:49

eq_sym?

natsugiri 
Success 


1419 
2020/03/15 20:46:23

Postorder traversal

tzik 
Success 


1418 
2020/03/15 20:42:52

Postorder traversal

yodvhskd 
Success 


1417 
2020/03/15 20:41:50

Postorder traversal

sorata 
Success 


1416 
2020/03/15 20:35:39

Not a sum of squares

yodvhskd 
Success 


1415 
2020/03/15 20:29:20

Not a sum of squares

sorata 
Success 


1414 
2020/03/15 20:28:38

Postorder traversal

kkob 
Success 


1413 
2020/03/15 20:28:17

Postorder traversal

sorata 
Failure 


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 

