最重要の結果:"Coq"
77
1
2
5
12
13
1
4
7
8
4
18
1
17
7
2
2
9
1
1
2
2
1
19
7
16
1
1
2
60
2
2
1
2
10
1
16
6
11
1
