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 


1628 
2020/06/23 16:09:44

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

kano 
Failure 


1627 
2020/06/20 00:00:53

Midpoint

kano 
Success 


1626 
2020/06/19 22:43:22

Zero test

kano 
Success 


1625 
2020/06/19 21:53:32

Tree Syntax Unambiguity

fetburner 
Success 


1624 
2020/06/19 20:14:26

Constructor is injective

kano 
Success 


1623 
2020/06/19 20:10:48

Constructor is injective

kano 
Failure 


1622 
2020/06/19 20:01:48

Three is prime

kano 
Success 


1621 
2020/06/19 19:48:34

Three is prime

kano 
Success 


1620 
2020/06/19 19:17:16

Tree Induction

fetburner 
Success 


1619 
2020/06/19 19:09:18

count_occ_app

fetburner 
Success 


1618 
2020/06/19 19:05:33

S preserves comparison

fetburner 
Success 


1617 
2020/06/19 18:58:19

Infinite duplication

fetburner 
Success 


1616 
2020/06/17 22:53:49

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

ry3s 
Success 


1615 
2020/06/17 21:58:51

Summand of one

mttm 
Success 


1614 
2020/06/17 01:30:07

Cumulative sum of list

mttm 
Success 

