1554 
2020/06/04 00:43:28

gcd(n, n+1) = 1

kano 
Success 


1553 
2020/06/04 00:32:25

gcd(n, n+1) = 1

kano 
Failure 


1552 
2020/06/04 00:20:54

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

kano 
Success 


1551 
2020/06/04 00:15:54

Summand of one

kano 
Success 


1550 
2020/05/28 10:38:02

1 + 1 = 2

Tqk 
Success 


1549 
2020/05/21 20:39:56

Yoneda embedding for preorder

efk 
Success 


1548 
2020/05/21 20:08:57

Swap twice

kkob 
Rejected 


1547 
2020/05/21 19:33:02

Booleanhole principle

efk 
Success 


1546 
2020/05/20 20:26:35

plus_assoc

aaa 
Success 


1545 
2020/05/20 20:26:01

plus_assoc

aaa 
Failure 


1544 
2020/05/20 13:36:38

Booleanhole principle

cympfh 
Success 


1543 
2020/05/13 02:21:51

eq_sym?

cympfh 
Success 


1542 
2020/05/10 19:34:47

eq_sym?

kano 
Success 


1541 
2020/05/10 19:23:22

mult_n_O

kano 
Success 


1540 
2020/05/10 19:20:34

n * S m = n + n * m

kano 
Success 


1539 
2020/05/10 18:51:45

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

kano 
Success 


1538 
2020/05/10 18:40:39

1 + 1 = 2

kano 
Success 


1537 
2020/05/10 18:39:40

plus_comm

kano 
Success 


1536 
2020/05/08 23:40:34

Infinite duplication

tzik 
Success 


1535 
2020/05/08 19:29:47

Swap twice

cympfh 
Success 


1534 
2020/05/08 19:29:11

Swap twice

cympfh 
Failure 


1533 
2020/05/05 05:39:20

Cycle detection

aaa 
Success 


1532 
2020/05/05 05:37:43

Cycle detection

aaa 
Failure 


1531 
2020/05/05 02:23:06

Equivalent two quicksorts

yodvhskd 
Success 


1530 
2020/05/05 02:18:06

Equivalent two quicksorts

yodvhskd 
Failure 


1529 
2020/05/03 23:50:39

Upper triangular (soundness)

mttm 
Success 


1528 
2020/05/03 23:39:22

Drinker paradox?

mttm 
Success 


1527 
2020/05/03 21:51:34

Infinite duplication

kik 
Success 


1526 
2020/05/03 21:49:17

Upper triangular (completeness)

natsugiri 
Success 


1525 
2020/05/03 21:43:42

Infinite duplication

yodvhskd 
Success 


1524 
2020/05/03 21:42:51

Infinite duplication

hirosegolf 
Failure 


1523 
2020/05/03 21:02:03

Upper triangular (completeness)

tzik 
Success 


1522 
2020/05/03 20:54:52

Upper triangular (completeness)

hirosegolf 
Success 


1521 
2020/05/03 20:54:27

Upper triangular (soundness)

hirosegolf 
Failure 


1520 
2020/05/03 20:41:38

Upper triangular (completeness)

kik 
Success 


1519 
2020/05/03 20:41:08

Drinker paradox?

tzik 
Success 


1518 
2020/05/03 20:32:54

Upper triangular (soundness)

hirosegolf 
Success 


1517 
2020/05/03 20:32:43

Upper triangular (completeness)

tanakh 
Success 


1516 
2020/05/03 20:31:11

Upper triangular (completeness)

yodvhskd 
Success 


1515 
2020/05/03 20:26:22

Upper triangular (soundness)

natsugiri 
Success 


1514 
2020/05/03 20:26:13

Drinker paradox?

hirosegolf 
Success 


1513 
2020/05/03 20:22:53

Upper triangular (soundness)

yodvhskd 
Success 


1512 
2020/05/03 20:21:57

Upper triangular (soundness)

kik 
Success 


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 

