Using ATP Tools

Student:     Mark: /20
 
Part I - 7
1.sat [1.0]   2.sat [1.0]
1.thm [1.0]   2.csa [1.0]
1.gdv [1.0]   3.thm [1.0]
  3.gdv [1.0]
 
Part II - 13
.p.txt [1.0]   sat.txt [1.0]
Types [2.0]   thm.txt [2.0]
Axioms [4.0]   idv.png [1.0]
Conjecture [1.0]   gdv.txt [1.0]