| # | Name | Publish time | Difficulty | Compiler | Source code policy | |
|---|---|---|---|---|---|---|
| 51 | S preserves comparison | 2020/06/14 19:00:00 | 1 | Coq 8.11.1 | Public | |
| 52 | count_occ_app | 2020/06/14 19:00:00 | 2 | Coq 8.11.1 | Public | |
| 53 | Tree Induction | 2020/06/14 19:00:00 | 3 | Coq 8.11.1 | Public | |
| 54 | Tree Syntax Unambiguity | 2020/06/14 19:00:00 | 4 | Coq 8.11.1 | Public |
| # | User | A (1000) | B (2000) | C (3000) | D (4000) | Total |
|---|---|---|---|---|---|---|
| 1 | yodvhskd | 989 | 1963 | 2787 | 2623 | 8362 |
| 2 | kozima | 993 | 1947 | 2848 | 5788 | |
| 3 | sorata | 995 | 1967 | 2693 | 5655 | |
| 4 | tanakh | 983 | 1913 | 2402 | 5298 | |
| 5 | efk | 939 | 1737 | 2157 | 4833 | |
| 6 | kik | 978 | 1915 | 2893 | ||
| 7 | natsugiri | 985 | 1879 | 2864 | ||
| 8 | kano | 988 | 1635 | 2623 | ||
| 9 | mttm | 620 | 1215 | 1835 |