Submissions

Filter

Task Name
User Name
Judge Status

Found 1887 submissions.

# Time Task Name User Name Status
1887 2021/04/29 19:05:18 Friends and strangers pyusuke Success
1886 2021/04/29 18:56:28 Flat CPO pyusuke Success
1885 2021/04/10 11:54:41 n < m \/ n = m \/ n > m sash0 Success
1884 2021/04/10 00:07:43 plus_comm sash0 Success
1883 2021/04/09 23:49:52 plus_assoc sash0 Success
1882 2021/03/19 11:38:30 1 + 1 = 2 jeb Success
1881 2021/02/20 13:34:52 Definitions of injectivity matonix Success
1880 2021/02/17 00:53:46 Summand of one matonix Success
1879 2021/02/15 01:36:56 Cumulative sum of list matonix Success
1878 2021/02/10 01:12:35 forall l: list nat, l @ [0] <> [] matonix Success
1877 2021/02/08 23:16:38 Product of n consecutive integers is divisible by n! matonix Success
1876 2021/01/15 01:54:09 n < m \/ n = m \/ n > m matonix Success
1875 2021/01/13 01:39:58 n * S m = n + n * m matonix Success
1874 2021/01/12 01:00:16 forall f: bool -> bool, f^3(x) = f(x) matonix Success
1873 2021/01/12 00:22:20 1 + 1 = 2 matonix Success
1872 2021/01/10 20:09:34 plus_comm matonix Success
1871 2021/01/08 01:58:25 plus_assoc matonix Success
1870 2021/01/08 01:57:17 plus_assoc matonix Failure
1869 2020/11/29 18:28:54 Definitions of injectivity pyusuke Success
1868 2020/11/29 18:28:25 Definitions of injectivity pyusuke Failure
1867 2020/11/29 17:53:06 Zero test pyusuke Success
1866 2020/11/29 17:26:45 Constructor is injective pyusuke Success
1865 2020/11/29 17:26:19 Constructor is injective pyusuke Failure
1864 2020/11/29 17:21:01 Yoneda embedding for preorder pyusuke Success
1863 2020/11/29 17:20:27 Yoneda embedding for preorder pyusuke Failure
1862 2020/11/29 17:19:04 Yoneda embedding for preorder pyusuke Failure
1861 2020/11/29 17:11:04 De Morgan's laws in Coq pyusuke Success
1860 2020/11/29 16:47:45 mult_n_O pyusuke Success
1859 2020/11/29 16:38:45 Three is prime pyusuke Success
1858 2020/11/29 15:52:21 Boolean-hole principle pyusuke Success
1857 2020/11/29 15:51:27 Summand of one pyusuke Failure
1856 2020/11/29 13:13:21 forall l: list nat, l @ [0] <> [] pyusuke Success
1855 2020/11/28 17:55:41 plus_comm pyusuke Success
1854 2020/11/28 17:55:08 plus_comm pyusuke Failure
1853 2020/11/28 17:53:26 plus_assoc pyusuke Success
1852 2020/11/28 17:31:23 forall f: bool -> bool, f^3(x) = f(x) pyusuke Success
1851 2020/11/28 16:54:16 forall f: bool -> bool, f^3(x) = f(x) pyusuke Success
1850 2020/11/28 16:29:37 1 + 1 = 2 pyusuke Success
1849 2020/11/28 16:25:34 n * S m = n + n * m pyusuke Success
1848 2020/11/28 15:59:55 1 + 1 = 2 pyusuke Success
1847 2020/11/07 19:23:19 Summand of one hiromi_mi Success
1846 2020/11/07 18:30:25 forall l: list nat, l @ [0] <> [] hiromi_mi Success
1845 2020/11/07 18:10:14 n < m \/ n = m \/ n > m hiromi_mi Success
1844 2020/11/07 18:08:18 n * S m = n + n * m hiromi_mi Success
1843 2020/11/07 18:06:57 forall f: bool -> bool, f^3(x) = f(x) hiromi_mi Success
1842 2020/11/07 17:52:43 1 + 1 = 2 hiromi_mi Success
1841 2020/11/07 17:52:14 1 + 1 = 2 hiromi_mi Failure
1840 2020/11/07 17:51:18 plus_comm hiromi_mi Success
1839 2020/11/07 17:48:50 plus_assoc hiromi_mi Success
1838 2020/11/03 16:51:47 Definitions of injectivity aaaa Success

>>Show ALL