1476 
2020/03/31 05:56:11

l1 <> l2 if l2 is an odd permutation of l1

tanakh 
Success 


1475 
2020/03/28 01:18:40

Equivalent two quicksorts

tanakh 
Success 


1474 
2020/03/28 01:17:19

Equivalent two quicksorts

tanakh 
Failure 


1473 
2020/03/21 12:56:49

1 + 1 = 2

smizoe 
Success 


1472 
2020/03/21 12:55:40

1 + 1 = 2

smizoe 
Failure 


1471 
2020/03/21 12:53:27

1 + 1 = 2

smizoe 
Failure 


1470 
2020/03/19 00:03:22

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

shimomire 
Success 


1469 
2020/03/18 23:58:52

n * S m = n + n * m

shimomire 
Success 


1468 
2020/03/18 22:10:28

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

shimomire 
Success 


1467 
2020/03/18 21:47:20

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

shimomire 
Success 


1466 
2020/03/18 21:19:41

1 + 1 = 2

shimomire 
Success 


1465 
2020/03/18 21:17:41

plus_comm

shimomire 
Success 


1464 
2020/03/18 21:03:12

plus_assoc

shimomire 
Success 


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 

