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 


1613 
2020/06/16 20:11:50

n * S m = n + n * m

algon 
Success 


1612 
2020/06/16 19:15:18

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

algon 
Success 


1611 
2020/06/16 18:25:36

1 + 1 = 2

algon 
Success 


1610 
2020/06/16 18:19:06

plus_comm

algon 
Success 


1609 
2020/06/16 17:47:42

plus_assoc

algon 
Success 


1608 
2020/06/15 20:22:41

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

Eldora 
Success 


1607 
2020/06/15 19:06:03

S preserves comparison

Eldora 
Failure 


1606 
2020/06/15 19:05:15

S preserves comparison

Eldora 
Success 


1605 
2020/06/15 19:04:46

S preserves comparison

Eldora 
Failure 


1604 
2020/06/15 17:09:18

plus_assoc

peroxyacyl 
Success 


1603 
2020/06/15 03:02:55

1 + 1 = 2

yamaNote 
Success 


1602 
2020/06/15 03:00:26

plus_comm

yamaNote 
Success 


1601 
2020/06/15 02:54:05

plus_assoc

yamaNote 
Success 


1600 
2020/06/15 02:42:43

plus_assoc

yamaNote 
Success 


1599 
2020/06/15 02:27:45

plus_assoc

yamaNote 
Failure 


1598 
2020/06/14 22:34:39

Tree Syntax Unambiguity

kozima 
Success 


1597 
2020/06/14 22:24:33

Tree Syntax Unambiguity

yodvhskd 
Success 


1596 
2020/06/14 21:33:55

Tree Induction

kik 
Rejected 


1595 
2020/06/14 21:21:11

count_occ_app

mttm 
Success 


1594 
2020/06/14 21:16:30

S preserves comparison

mttm 
Success 

