| # | Name | Publish time | Difficulty | Compiler | Source code policy | |
|---|---|---|---|---|---|---|
| 55 | Sum of n^3 | 2020/08/16 20:00:00 | 1 | Coq 8.11.1 | Public | |
| 56 | Rotate once | 2020/08/16 20:00:00 | 2 | Coq 8.11.1 | Public | |
| 57 | Fibonacci numbers modulo 2 | 2020/08/16 20:00:00 | 2 | Coq 8.11.1 | Public | |
| 58 | The set of all finite sequences of bool is countable | 2020/08/16 20:00:00 | 2 | Coq 8.11.1 | Public |
| # | User | A (1000) | B (2000) | C (2000) | D (2000) | Total |
|---|---|---|---|---|---|---|
| 1 | kozima | 990 | 1345 | 1857 | 4192 | |
| 2 | kik | 953 | 1267 | 2220 | ||
| 3 | sorata | 973 | 1144 | 2117 | ||
| 4 | kano | 934 | 934 | |||
| 5 | mttm | 889 | 889 |
| # | Time | Task Name | User Name | Status | ||
|---|---|---|---|---|---|---|
| 1690 | 2020/08/16 21:42:40 | Rotate once | sorata | Success | ||
| 1689 | 2020/08/16 21:27:51 | Fibonacci numbers modulo 2 | kik | Success | ||
| 1688 | 2020/08/16 21:18:35 | Rotate once | kozima | Success | ||
| 1687 | 2020/08/16 20:26:26 | Sum of n^3 | mttm | Success | ||
| 1686 | 2020/08/16 20:21:59 | Sum of n^3 | mttm | Rejected | ||
| 1685 | 2020/08/16 20:17:04 | Fibonacci numbers modulo 2 | kozima | Success | ||
| 1684 | 2020/08/16 20:15:44 | Sum of n^3 | kano | Success | ||
| 1683 | 2020/08/16 20:11:15 | Sum of n^3 | kik | Success | ||
| 1682 | 2020/08/16 20:06:17 | Sum of n^3 | sorata | Success | ||
| 1681 | 2020/08/16 20:02:15 | Sum of n^3 | kozima | Success |