| 1837 |
2020/11/03 16:48:17
|
Definitions of injectivity
|
aaaa |
Failure |
|
|
| 1836 |
2020/11/03 16:21:18
|
Definitions of injectivity
|
aaaa |
Rejected |
|
|
| 1835 |
2020/11/03 16:03:11
|
forall l: list nat, l @ [0] <> []
|
aaaa |
Success |
|
|
| 1834 |
2020/11/03 15:50:54
|
Two is not Three
|
aaaa |
Success |
|
|
| 1833 |
2020/11/03 15:46:19
|
Two is not Three
|
aaaa |
Success |
|
|
| 1832 |
2020/11/03 15:43:11
|
Boolean-hole principle
|
aaaa |
Success |
|
|
| 1831 |
2020/11/03 15:36:28
|
Boolean-hole principle
|
aaaa |
Success |
|
|
| 1830 |
2020/11/03 15:19:08
|
Two is not Three
|
aaaa |
Success |
|
|
| 1829 |
2020/11/03 13:51:07
|
1 + 1 = 2
|
aaaa |
Success |
|
|
| 1828 |
2020/11/03 13:47:20
|
n < m \/ n = m \/ n > m
|
aaaa |
Success |
|
|
| 1827 |
2020/11/03 12:03:14
|
Summand of one
|
aaaa |
Success |
|
|
| 1826 |
2020/11/03 11:46:37
|
n * S m = n + n * m
|
aaaa |
Success |
|
|
| 1825 |
2020/11/03 11:11:36
|
plus_assoc
|
aaaa |
Success |
|
|
| 1824 |
2020/11/03 11:00:10
|
plus_comm
|
aaaa |
Success |
|
|
| 1823 |
2020/11/02 23:20:02
|
1 + 1 = 2
|
aaaa |
Failure |
|
|
| 1822 |
2020/11/02 23:17:37
|
mult_n_O
|
aaaa |
Success |
|
|
| 1821 |
2020/11/02 23:08:20
|
mult_n_O
|
aaaa |
Success |
|
|
| 1820 |
2020/11/02 16:01:08
|
De Morgan's laws in Coq
|
aaaa |
Success |
|
|
| 1819 |
2020/11/02 06:29:56
|
1 + 1 = 2
|
aaaa |
Failure |
|
|
| 1818 |
2020/11/02 06:25:18
|
plus_comm
|
aaaa |
Success |
|
|
| 1817 |
2020/11/02 06:22:58
|
plus_comm
|
aaaa |
Success |
|
|
| 1816 |
2020/11/02 06:19:08
|
plus_comm
|
aaaa |
Success |
|
|
| 1815 |
2020/11/02 06:12:07
|
plus_comm
|
aaaa |
Success |
|
|
| 1814 |
2020/11/02 06:02:27
|
plus_assoc
|
aaaa |
Success |
|
|
| 1813 |
2020/11/02 05:58:49
|
plus_assoc
|
aaaa |
Success |
|
|
| 1812 |
2020/11/02 04:35:46
|
plus_assoc
|
aaaa |
Success |
|
|
| 1811 |
2020/11/02 04:30:00
|
plus_assoc
|
aaaa |
Success |
|
|
| 1810 |
2020/11/02 04:25:02
|
plus_assoc
|
aaaa |
Success |
|
|
| 1809 |
2020/11/02 03:50:19
|
1 + 1 = 2
|
aaaa |
Success |
|
|
| 1808 |
2020/11/02 03:48:23
|
1 + 1 = 2
|
aaaa |
Success |
|
|
| 1807 |
2020/11/02 03:45:31
|
1 + 1 = 2
|
aaaa |
Success |
|
|
| 1806 |
2020/11/02 03:43:06
|
1 + 1 = 2
|
aaaa |
Failure |
|
|
| 1805 |
2020/11/02 03:42:26
|
1 + 1 = 2
|
aaaa |
Failure |
|
|
| 1804 |
2020/11/02 03:31:38
|
1 + 1 = 2
|
sabataro |
Failure |
|
|
| 1803 |
2020/11/02 03:28:20
|
1 + 1 = 2
|
sabataro |
Failure |
|
|
| 1802 |
2020/11/02 03:26:29
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1801 |
2020/11/02 03:23:43
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1800 |
2020/11/02 03:20:55
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1799 |
2020/11/02 03:17:18
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1798 |
2020/11/02 03:12:20
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1797 |
2020/11/02 03:01:36
|
1 + 1 = 2
|
sabataro |
Failure |
|
|
| 1796 |
2020/10/31 18:45:39
|
plus_assoc
|
xsd |
Success |
|
|
| 1795 |
2020/10/31 18:44:45
|
plus_assoc
|
xsd |
Failure |
|
|
| 1794 |
2020/10/31 14:04:47
|
plus_assoc
|
xsd |
Failure |
|
|
| 1793 |
2020/10/31 14:02:56
|
plus_assoc
|
xsd |
Failure |
|
|
| 1792 |
2020/10/26 00:43:18
|
Perfect Square?
|
fetburner |
Success |
|
|
| 1791 |
2020/10/25 03:15:22
|
If zero were not nat
|
fetburner |
Success |
|
|
| 1790 |
2020/10/25 02:58:23
|
Flat CPO
|
fetburner |
Success |
|
|
| 1789 |
2020/10/21 10:56:27
|
Eat the Candies
|
tanakh |
Success |
|
|
| 1788 |
2020/10/21 06:23:48
|
Perfect Square?
|
tanakh |
Success |
|
|