1767 
2020/10/10 01:01:48

Multiplication in F_2 is idempotent

shift0 
Success 


1766 
2020/10/09 23:38:38

Definitions of injectivity

shift0 
Success 


1765 
2020/10/09 22:56:59

Cumulative sum of list

shift0 
Success 


1764 
2020/10/09 21:25:16

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

shift0 
Success 


1763 
2020/10/09 21:24:28

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

shift0 
Failure 


1762 
2020/10/09 21:23:36

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

shift0 
Failure 


1761 
2020/10/05 22:27:03

unique count

yodvhskd 
Success 


1760 
2020/09/30 19:21:22

Eat the Candies

yodvhskd 
Success 


1759 
2020/09/30 09:54:31

Eat the Candies

kkob 
Success 


1758 
2020/09/29 21:05:57

Flat CPO

nekodesu 
Failure 


1757 
2020/09/29 20:45:08

Flat CPO

nuip 
Failure 


1756 
2020/09/29 20:27:57

Double

shift0 
Success 


1755 
2020/09/29 20:27:05

Double

shift0 
Failure 


1754 
2020/09/29 20:25:42

Double

shift0 
Failure 


1753 
2020/09/29 20:24:34

Double

shift0 
Failure 


1752 
2020/09/29 19:40:43

Yoneda embedding for preorder

shift0 
Success 


1751 
2020/09/29 19:39:49

Yoneda embedding for preorder

shift0 
Failure 


1750 
2020/09/29 17:32:20

Sum of n^3

shift0 
Success 


1749 
2020/09/29 16:00:06

Perfect Square?

shift0 
Success 


1748 
2020/09/29 12:26:02

If zero were not nat

shift0 
Success 


1747 
2020/09/29 12:21:26

If zero were not nat

shift0 
Failure 


1746 
2020/09/29 12:20:27

If zero were not nat

shift0 
Failure 


1745 
2020/09/29 12:18:57

If zero were not nat

shift0 
Failure 


1744 
2020/09/29 11:37:45

Flat CPO

shift0 
Success 


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 

