1443 
2020/03/15 23:48:12

Cumulative sum of list

zer0star 
Failure 


1442 
2020/03/15 23:09:42

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

zer0star 
Success 


1441 
2020/03/15 22:57:09

Cycle detection

kkob 
Success 


1440 
2020/03/15 22:54:37

Cycle detection

fetburner 
Success 


1439 
2020/03/15 22:54:36

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

zer0star 
Success 


1438 
2020/03/15 22:50:54

n * S m = n + n * m

zer0star 
Success 


1437 
2020/03/15 22:47:54

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

zer0star 
Success 


1436 
2020/03/15 22:43:09

and_comm (Lean)

tanakh 
Success 


1435 
2020/03/15 22:39:38

1 + 1 = 2

KisaragiEffective 
Success 


1434 
2020/03/15 22:36:28

Cycle detection

kkob 
Success 


1433 
2020/03/15 22:28:01

and_comm (Lean)

tanakh 
Success 


1432 
2020/03/15 22:13:34

1 + 1 = 2

zer0star 
Success 


1431 
2020/03/15 22:08:35

Not a sum of squares

kimiyuki 
Success 


1430 
2020/03/15 21:57:38

Not a sum of squares

tanakh 
Success 


1429 
2020/03/15 21:57:28

Not a sum of squares

kimiyuki 
Success 


1428 
2020/03/15 21:30:44

Postorder traversal

kik 
Success 


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 

