1693 
2020/08/16 23:45:28

Friends and strangers

sorata 
Success 


1692 
2020/08/16 22:36:09

Friends and strangers

kik 
Success 


1691 
2020/08/16 22:03:55

The set of all finite sequences of bool is countable

kozima 
Success 


1690 
2020/08/16 21:42:40

Rotate once

sorata 
Success 


1689 
2020/08/16 21:27:51

Fibonacci numbers modulo 2

kik 
Success 


1688 
2020/08/16 21:18:35

Rotate once

kozima 
Success 


1687 
2020/08/16 20:26:26

Sum of n^3

mttm 
Success 


1686 
2020/08/16 20:21:59

Sum of n^3

mttm 
Rejected 


1685 
2020/08/16 20:17:04

Fibonacci numbers modulo 2

kozima 
Success 


1684 
2020/08/16 20:15:44

Sum of n^3

kano 
Success 


1683 
2020/08/16 20:11:15

Sum of n^3

kik 
Success 


1682 
2020/08/16 20:06:17

Sum of n^3

sorata 
Success 


1681 
2020/08/16 20:02:15

Sum of n^3

kozima 
Success 


1680 
2020/08/15 16:38:16

Friends and strangers

yodvhskd 
Success 


1679 
2020/08/15 00:35:04

The set of all finite sequences of bool is countable

yodvhskd 
Success 


1678 
2020/08/09 21:56:40

Fibonacci numbers modulo 2

yodvhskd 
Success 


1677 
2020/08/09 21:48:28

Rotate once

yodvhskd 
Success 


1676 
2020/08/09 21:38:32

Sum of n^3

yodvhskd 
Success 


1675 
2020/08/01 14:16:57

1 + 1 = 2

pandaman 
Success 


1674 
2020/08/01 14:16:30

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

pandaman 
Success 


1673 
2020/08/01 14:07:07

1 + 1 = 2

pandaman 
Failure 


1672 
2020/08/01 14:05:41

plus_comm

pandaman 
Success 


1671 
2020/08/01 13:48:55

plus_assoc

pandaman 
Success 


1670 
2020/07/20 00:32:34

Multiplication in F_2 is idempotent

mttm 
Success 


1669 
2020/07/20 00:11:02

Definitions of injectivity

mttm 
Success 


1668 
2020/07/19 05:51:58

De Morgan's laws in Coq

Eldora 
Failure 


1667 
2020/07/19 05:50:56

De Morgan's laws in Coq

Eldora 
Rejected 


1666 
2020/07/19 05:48:43

De Morgan's laws in Coq

Eldora 
Failure 


1665 
2020/07/19 05:48:03

De Morgan's laws in Coq

Eldora 
Rejected 


1664 
2020/07/19 05:45:09

and_comm (Lean)

Eldora 
Failure 


1663 
2020/07/19 05:41:04

De Morgan's laws in Coq

Eldora 
Rejected 


1662 
2020/07/19 05:02:03

Summand of one

Eldora 
Success 


1661 
2020/07/19 00:51:17

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

Eldora 
Success 


1660 
2020/07/19 00:50:48

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

Eldora 
Failure 


1659 
2020/07/19 00:50:28

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

Eldora 
Failure 


1658 
2020/07/16 00:54:37

Not a sum of squares

kano 
Success 


1657 
2020/07/16 00:53:06

Not a sum of squares

kano 
Failure 


1656 
2020/07/15 02:27:41

Postorder traversal

kano 
Success 


1655 
2020/07/15 01:43:34

Yoneda embedding for preorder

kano 
Success 


1654 
2020/07/05 03:35:20

infinite bool sequence is uncountable

kano 
Success 


1653 
2020/07/05 02:16:57

Booleanhole principle revisited

kano 
Success 


1652 
2020/07/04 19:29:05

Double

kano 
Success 


1651 
2020/07/04 18:20:54

Tree addressing is injective

kano 
Success 


1650 
2020/07/04 18:20:08

Tree addressing is injective

kano 
Failure 


1649 
2020/07/04 16:43:45

Any natural number is expressible in binary notation

kano 
Success 


1648 
2020/07/04 16:43:09

Any natural number is expressible in binary notation

kano 
Failure 


1647 
2020/07/04 14:53:09

Two is not Three

kano 
Success 


1646 
2020/07/04 04:40:45

Infinite duplication

kkob 
Success 


1645 
2020/07/03 23:08:30

unique count

kano 
Success 


1644 
2020/07/02 22:49:59

unique (unique l) = l

kano 
Success 

