10

8

6

4

2


9.8

8.4

5.0
0.0

2.7
0.0
qed
1.2
0.0

5 Theorem Provers packages and projects

Add another 'Theorem Provers' Package