1511 
2020/05/03 20:20:25

Upper triangular (completeness)

fetburner 
Success 


1510 
2020/05/03 20:19:57

Drinker paradox?

natsugiri 
Success 


1509 
2020/05/03 20:17:30

Drinker paradox?

yodvhskd 
Success 


1508 
2020/05/03 20:11:01

Upper triangular (soundness)

tzik 
Success 


1507 
2020/05/03 20:08:44

Upper triangular (soundness)

fetburner 
Success 


1506 
2020/05/03 20:08:43

Upper triangular (soundness)

tanakh 
Success 


1505 
2020/05/03 20:06:25

Drinker paradox?

fetburner 
Success 


1504 
2020/05/03 20:06:18

Swap twice

hirosegolf 
Success 


1503 
2020/05/03 20:05:43

Drinker paradox?

tanakh 
Success 


1502 
2020/05/03 20:05:33

Drinker paradox?

kik 
Success 


1501 
2020/05/03 20:04:35

Swap twice

natsugiri 
Success 


1500 
2020/05/03 20:04:34

Swap twice

tzik 
Success 


1499 
2020/05/03 20:03:08

Swap twice

kano 
Success 


1498 
2020/05/03 20:02:01

Swap twice

mttm 
Success 


1497 
2020/05/03 20:01:42

Swap twice

kik 
Success 


1496 
2020/05/03 20:01:36

Swap twice

fetburner 
Success 


1495 
2020/05/03 20:01:00

Swap twice

yodvhskd 
Success 


1494 
2020/05/03 20:00:59

Swap twice

tanakh 
Success 


1493 
2020/05/03 19:50:49

Not a sum of squares

fetburner 
Success 


1492 
2020/05/03 19:20:24

plus_assoc

kano 
Success 


1491 
2020/05/03 14:51:10

Infinite duplication

kozima 
Success 


1490 
2020/05/03 14:50:41

Upper triangular (completeness)

kozima 
Success 


1489 
2020/05/01 04:37:17

Cycle detection

kaz 
Failure 


1488 
2020/05/01 04:31:29

Cycle detection

kaz 
Failure 


1487 
2020/04/29 12:12:49

Drinker paradox?

kozima 
Success 


1486 
2020/04/29 12:12:30

Upper triangular (soundness)

kozima 
Success 


1485 
2020/04/29 12:12:12

Upper triangular (completeness)

kozima 
Failure 


1484 
2020/04/29 12:11:50

Infinite duplication

kozima 
Failure 


1483 
2020/04/29 12:11:28

Swap twice

kozima 
Success 


1482 
2020/04/26 22:55:33

1 + 1 = 2

gaxiiiiiiiiiiii 
Success 


1481 
2020/04/26 22:53:49

plus_comm

gaxiiiiiiiiiiii 
Success 


1480 
2020/04/26 22:43:48

plus_assoc

gaxiiiiiiiiiiii 
Success 


1479 
2020/04/17 14:12:53

n * S m = n + n * m

Eldora 
Success 


1478 
2020/04/16 18:38:41

and_comm (Lean)

yodvhskd 
Success 


1477 
2020/03/31 17:24:14

Binary search

tanakh 
Success 


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 

