1678 
2020/08/09 21:56:40

??????

yodvhskd 
Success 


1677 
2020/08/09 21:48:28

??????

yodvhskd 
Success 


1676 
2020/08/09 21:38:32

??????

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 


1643 
2020/07/01 21:56:07

Multiplication in F_2 is idempotent

kano 
Success 


1642 
2020/07/01 21:55:44

Multiplication in F_2 is idempotent

kano 
Failure 


1641 
2020/07/01 02:03:34

Definitions of injectivity

kano 
Success 


1640 
2020/07/01 02:00:25

Definitions of injectivity

kano 
Failure 


1639 
2020/06/30 01:54:04

Tree Syntax Unambiguity

kkob 
Success 


1638 
2020/06/30 01:51:34

Tree Syntax Unambiguity

kkob 
Failure 


1637 
2020/06/30 01:49:56

Tree Syntax Unambiguity

kkob 
Failure 


1636 
2020/06/28 16:21:36

Cumulative sum of list

kano 
Success 


1635 
2020/06/26 19:49:27

count l n = count (rev l) n

kano 
Success 


1634 
2020/06/26 19:47:19

count l n = count (rev l) n

kano 
Failure 


1633 
2020/06/26 15:56:14

Upper triangular (completeness)

kano 
Success 


1632 
2020/06/25 05:52:23

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

dareka 
Failure 


1631 
2020/06/23 23:23:24

Upper triangular (soundness)

kano 
Success 


1630 
2020/06/23 16:49:13

Drinker paradox?

kano 
Success 


1629 
2020/06/23 16:10:38

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

kano 
Success 

