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 


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 

