1463 
2020/03/18 08:07:24

Sum of binomial coefficients

tanakh 
Success 


1462 
2020/03/18 08:02:32

Sum of binomial coefficients

tanakh 
Rejected 


1461 
2020/03/18 00:20:45

Iterated iteration

tanakh 
Success 


1460 
2020/03/18 00:17:37

Iterated iteration

tanakh 
Success 


1459 
2020/03/18 00:16:37

Iterated iteration

tanakh 
Failure 


1458 
2020/03/17 23:26:23

Iterated iteration

tanakh 
Rejected 


1457 
2020/03/17 17:20:57

eq_sym?

a_kawashiro 
Failure 


1456 
2020/03/17 17:19:41

eq_sym?

a_kawashiro 
Failure 


1455 
2020/03/17 16:32:12

De Morgan's laws in Coq

zer0star 
Success 


1454 
2020/03/17 16:10:46

mult_n_O

zer0star 
Success 


1453 
2020/03/17 15:59:12

Multiplication in F_2 is idempotent

zer0star 
Success 


1452 
2020/03/17 15:07:58

Definitions of injectivity

zer0star 
Success 


1451 
2020/03/16 09:25:30

Postorder traversal

tzik 
Success 


1450 
2020/03/16 09:25:06

Not a sum of squares

tzik 
Success 


1449 
2020/03/16 09:24:47

eq_sym?

tzik 
Success 


1448 
2020/03/16 07:48:16

Cycle detection

tzik 
Success 


1447 
2020/03/16 02:55:12

Cycle detection

yodvhskd 
Success 


1446 
2020/03/16 01:04:29

Postorder traversal

tanakh 
Success 


1445 
2020/03/15 23:52:52

Cumulative sum of list

zer0star 
Success 


1444 
2020/03/15 23:51:17

Cumulative sum of list

zer0star 
Failure 


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 

