# | Name | Publish time | Difficulty | Compiler | Source code policy | |
---|---|---|---|---|---|---|
25 | Boolean-hole principle | 2019/10/06 20:00:00 | 1 | Coq 8.11.1 | Public | |
26 | Three is prime | 2019/10/06 20:00:00 | 1 | Coq 8.11.1 | Public | |
27 | Two is not Three | 2019/10/06 20:00:00 | 2 | Coq 8.11.1 | Public | |
28 | Iterated iteration | 2019/10/06 20:00:00 | 3 | Coq 8.11.1 | Public |
# | User | A (1000) | B (1000) | C (2000) | D (3000) | Total |
---|---|---|---|---|---|---|
1 | kaz | 989 | 980 | 1908 | 2656 | 6533 |
2 | kkob | 996 | 991 | 1665 | 2719 | 6371 |
3 | momohatt | 994 | 963 | 1322 | 2608 | 5887 |
4 | yodvhskd | 970 | 935 | 1665 | 2207 | 5777 |
5 | hirosegolf | 992 | 945 | 1730 | 1890 | 5557 |
6 | sorata | 798 | 796 | 1353 | 2412 | 5359 |
7 | pekempey | 995 | 885 | 1725 | 3605 | |
8 | okaduki | 975 | 824 | 1799 | ||
9 | yamarten | 917 | 855 | 1772 | ||
10 | coorde | 851 | 822 | 1673 | ||
11 | mttm | 804 | 804 |