| 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
|
Boolean-hole 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 |
|
|