1743 
2020/09/29 10:29:23

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

shift0 
Success 


1742 
2020/09/29 09:40:31

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

shift0 
Success 


1741 
2020/09/28 10:11:49

Eat the Candies

kkob 
Success 


1740 
2020/09/28 04:19:42

n * S m = n + n * m

shift0 
Success 


1739 
2020/09/28 03:00:58

1 + 1 = 2

shift0 
Success 


1738 
2020/09/28 02:59:45

plus_comm

shift0 
Success 


1737 
2020/09/28 02:41:25

plus_assoc

shift0 
Success 


1736 
2020/09/28 02:34:05

plus_assoc

shift0 
Failure 


1735 
2020/09/28 02:32:55

plus_assoc

shift0 
Failure 


1734 
2020/09/28 02:14:29

Eat the Candies

kik 
Success 


1733 
2020/09/28 02:03:15

Eat the Candies

kik 
Success 


1732 
2020/09/28 01:51:11

Eat the Candies

kik 
Success 


1731 
2020/09/27 23:24:11

Eat the Candies

kik 
Success 


1730 
2020/09/27 22:00:58

Eat the Candies

sorata 
Failure 


1729 
2020/09/27 21:57:52

Eat the Candies

kik 
Failure 


1728 
2020/09/27 21:45:17

Eat the Candies

kkob 
Success 


1727 
2020/09/27 20:52:06

Flat CPO

kano 
Success 


1726 
2020/09/27 20:49:26

If zero were not nat

kano 
Success 


1725 
2020/09/27 20:46:56

Perfect Square?

sorata 
Success 


1724 
2020/09/27 20:46:17

Perfect Square?

sorata 
Failure 


1723 
2020/09/27 20:25:42

Perfect Square?

kik 
Success 


1722 
2020/09/27 20:14:16

Perfect Square?

yodvhskd 
Success 


1721 
2020/09/27 20:13:24

If zero were not nat

sorata 
Success 


1720 
2020/09/27 20:12:24

Perfect Square?

kkob 
Success 


1719 
2020/09/27 20:09:54

If zero were not nat

kik 
Success 


1718 
2020/09/27 20:05:32

If zero were not nat

yodvhskd 
Success 


1717 
2020/09/27 20:04:59

If zero were not nat

kkob 
Success 


1716 
2020/09/27 20:04:22

Flat CPO

kik 
Success 


1715 
2020/09/27 20:02:15

Flat CPO

yodvhskd 
Success 


1714 
2020/09/27 20:01:56

Flat CPO

kkob 
Success 


1713 
2020/09/27 20:01:18

Flat CPO

sorata 
Success 


1712 
2020/09/27 13:23:44

Sum of n^3

kkob 
Success 


1711 
2020/09/27 13:16:18

1 + 1 = 2

kkob 
Success 


1710 
2020/09/27 13:16:02

1 + 1 = 2

kkob 
Success 


1709 
2020/09/27 12:47:34

plus_assoc

kkob 
Success 


1708 
2020/09/27 11:49:22

plus_assoc

kkob 
Success 


1707 
2020/09/27 11:44:15

Friends and strangers

kkob 
Failure 


1706 
2020/09/24 20:21:01

Perfect Square?

kozima 
Success 


1705 
2020/09/24 20:19:38

Eat the Candies

kozima 
Success 


1704 
2020/09/24 20:16:19

Perfect Square?

kozima 
Failure 


1703 
2020/09/24 20:14:57

If zero were not nat

kozima 
Success 


1702 
2020/09/24 20:13:02

Flat CPO

kozima 
Success 


1701 
2020/09/22 19:05:41

Friends and strangers

fetburner 
Success 


1700 
2020/09/22 18:42:31

The set of all finite sequences of bool is countable

fetburner 
Success 


1699 
2020/08/18 21:33:51

Fibonacci numbers modulo 2

fetburner 
Success 


1698 
2020/08/18 20:43:29

Rotate once

fetburner 
Success 


1697 
2020/08/18 19:06:51

Sum of n^3

fetburner 
Success 


1696 
2020/08/17 18:14:08

Friends and strangers (corrected)

kozima 
Success 


1695 
2020/08/17 00:45:27

Friends and strangers (corrected)

yodvhskd 
Success 


1694 
2020/08/16 23:46:03

Friends and strangers

kozima 
Success 

