-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathcall.fig
More file actions
70 lines (70 loc) · 2.22 KB
/
Copy pathcall.fig
File metadata and controls
70 lines (70 loc) · 2.22 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
#FIG 3.2 Produced by xfig version 3.2.6a
Landscape
Center
Metric
A4
100.00
Single
-2
1200 2
6 3825 2295 4815 2790
4 1 -1 50 -1 0 12 0.0000 4 135 525 4320 2745 prover\001
4 1 -1 50 -1 0 12 0.0000 4 135 870 4320 2475 interactive\001
-6
6 720 2295 1800 2790
4 1 -1 50 -1 0 12 0.0000 4 135 870 1260 2760 formalized\001
4 1 -1 50 -1 0 12 0.0000 4 180 975 1260 2460 meta-theory\001
-6
6 4793 3090 5648 3510
4 1 15 50 -1 0 12 0.0000 4 135 780 5220 3510 interfaces\001
4 1 15 50 -1 0 12 0.0000 4 180 765 5220 3240 graphical\001
-6
6 7245 3090 8010 3510
4 1 15 50 -1 0 12 0.0000 4 135 705 7627 3510 interface\001
4 1 15 50 -1 0 12 0.0000 4 135 330 7627 3240 web\001
-6
2 1 2 2 0 7 50 -1 -1 2.000 0 0 -1 0 0 2
4635 2790 4905 3060
2 1 2 2 0 7 50 -1 -1 2.000 0 0 -1 0 0 2
7155 2790 7425 3060
2 1 2 2 0 7 50 -1 -1 2.000 0 0 -1 0 0 2
1260 1980 1260 2250
3 0 0 2 -1 7 50 -1 -1 6.000 0 1 0 3
2 1 3.00 75.00 120.00
6345 2430 5580 2295 4860 2430
0.000 1.000 0.000
3 0 0 2 -1 7 50 -1 -1 6.000 0 1 0 3
2 1 3.00 75.00 120.00
3780 2790 2835 3060 1845 2790
0.000 1.000 0.000
3 0 0 2 -1 7 50 -1 -1 6.000 0 1 0 3
2 1 3.00 75.00 120.00
1845 2295 2790 1935 3780 2295
0.000 1.000 0.000
3 0 0 2 -1 7 50 -1 -1 6.000 0 1 0 2
2 1 3.00 75.00 120.00
7425 1620 7110 2250
0.000 0.000
3 0 1 2 -1 7 50 -1 -1 6.000 0 1 0 4
2 1 3.00 75.00 120.00
1395 1665 2880 765 4455 1305 4365 2205
0.000 1.000 1.000 0.000
3 0 0 2 -1 7 50 -1 -1 6.000 0 1 0 2
2 1 3.00 75.00 120.00
4320 2970 4320 4320
0.000 0.000
3 0 1 2 -1 7 50 -1 -1 6.000 0 1 0 3
2 1 3.00 75.00 120.00
3015 990 5220 810 6660 2160
0.000 1.000 0.000
4 0 4 50 -1 0 8 0.0000 4 90 465 4365 1260 certifies\001
4 1 1 50 -1 0 8 0.0000 4 120 1065 2790 1845 operates on proofs\001
4 1 1 50 -1 0 8 0.0000 4 120 915 2835 3240 provides proofs\001
4 1 1 50 -1 0 8 0.0000 4 120 915 5670 2205 provides proofs\001
4 0 1 50 -1 0 8 0.0000 4 120 1050 7380 1980 provides formulas\001
4 1 12 50 -1 0 12 0.0000 4 180 1005 4320 4590 applications\001
4 1 15 50 -1 0 12 0.0000 4 135 975 7605 1500 benchmarks\001
4 2 1 50 -1 0 8 0.0000 4 120 915 4185 3780 provides proofs\001
4 1 15 50 -1 0 12 0.0000 4 135 510 1260 1890 kernel\001
4 1 -1 50 -1 0 12 0.0000 4 135 525 6840 2745 prover\001
4 1 -1 50 -1 0 12 0.0000 4 135 855 6840 2475 automated\001