Dafny
156
4
50
Pictures
-
Following
-
Follower
6
1
5
1
6
1
9
3
5
2
4
0
13
1
4
1
4
0
5
1
4
0
5
0
6
0
3
0
4
0
4
0
3
0
1
0
3
0
2
0
1
0
1
0
1
0
2
1
1
0
1
1
2
0
2
3
1
0
2
1
1
0
2
0
2
0
6
1
3
0
7
1
3
0
3
0
2
0
2
1
2
0
3
0
3
0
2
0
1
0
0
0
0
0
0
0
2
0
2
0
