TopProver ver.0.7.0

#7: Sprint Round 6

# Name Publish time Difficulty Compiler Source code policy
29 Yoneda embedding for preorder 2019/10/26 18:00:00 1 Coq 8.11.1 Public
30 Double 2019/10/26 18:00:00 2 Coq 8.11.1 Public
31 Sum of binomial coefficients 2019/10/26 18:00:00 3 Coq 8.11.1 Public
32 Uniqueness of inequality proofs 2019/10/26 18:00:00 4 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (2000) C (3000) D (4000) Total
1 kkob 991 1969 2461 5421
2 kaz 984 1941 2410 5335
3 pekempey 987 1903 2890
4 miya 974 1867 2841
5 yamarten 874 1696 2570
6 na4zagin3 980 1291 2271
7 spica314 843 843

Submissions

# Time Task Name User Name Status
945 2019/10/26 19:24:59 Double na4zagin3 Success
944 2019/10/26 18:47:08 Sum of binomial coefficients kaz Success
943 2019/10/26 18:43:06 Sum of binomial coefficients kkob Success
942 2019/10/26 18:37:32 Yoneda embedding for preorder spica314 Success
941 2019/10/26 18:36:28 Double yamarten Success
940 2019/10/26 18:30:10 Yoneda embedding for preorder yamarten Success
939 2019/10/26 18:15:52 Double miya Success
938 2019/10/26 18:11:37 Double pekempey Success
937 2019/10/26 18:07:24 Yoneda embedding for preorder yamarten Failure
936 2019/10/26 18:07:02 Double kaz Success
935 2019/10/26 18:06:08 Yoneda embedding for preorder miya Success
934 2019/10/26 18:05:26 Yoneda embedding for preorder miya Failure
933 2019/10/26 18:04:36 Yoneda embedding for preorder na4zagin3 Success
932 2019/10/26 18:03:48 Yoneda embedding for preorder kaz Success
931 2019/10/26 18:03:42 Double kkob Success
930 2019/10/26 18:03:05 Yoneda embedding for preorder pekempey Success
929 2019/10/26 18:02:31 Yoneda embedding for preorder pekempey Failure
928 2019/10/26 18:02:06 Yoneda embedding for preorder kkob Success