1787 
2020/10/21 06:12:24

Perfect Square?

tanakh 
Success 


1786 
2020/10/21 04:50:18

If zero were not nat

tanakh 
Success 


1785 
2020/10/21 04:24:10

Flat CPO

tanakh 
Success 


1784 
2020/10/19 08:15:36

The set of all finite sequences of bool is countable

kkob 
Success 


1783 
2020/10/19 03:46:08

Friends and strangers

tanakh 
Success 


1782 
2020/10/19 03:14:44

The set of all finite sequences of bool is countable

tanakh 
Success 


1781 
2020/10/18 05:53:22

Fibonacci numbers modulo 2

tanakh 
Success 


1780 
2020/10/17 23:29:32

Rotate once

tanakh 
Success 


1779 
2020/10/17 23:27:04

Rotate once

tanakh 
Success 


1778 
2020/10/17 21:17:24

Sum of n^3

tanakh 
Success 


1777 
2020/10/12 04:06:50

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

uenoku 
Success 


1776 
2020/10/12 03:47:20

1 + 1 = 2

uenoku 
Success 


1775 
2020/10/12 03:26:20

plus_assoc

uenoku 
Success 


1774 
2020/10/12 03:20:57

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

uenoku 
Success 


1773 
2020/10/12 03:20:03

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

uenoku 
Failure 


1772 
2020/10/12 03:19:32

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

uenoku 
Failure 


1771 
2020/10/10 14:40:30

Grand Garden

yodvhskd 
Success 


1770 
2020/10/10 01:56:09

unique (unique l) = l

shift0 
Success 


1769 
2020/10/10 01:12:38

gcd(n, n+1) = 1

shift0 
Success 


1768 
2020/10/10 01:11:42

gcd(n, n+1) = 1

shift0 
Failure 


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 

