10

8

6

4

2


9.8
0.0

5.3
0.0

3.5
0.0
qed
0.7
0.0

5 Theorem Provers packages and projects

Add another 'Theorem Provers' Package