The following tables contain statistical data about the project. The most significant numbers
that give an impression about the effort for the project are Proofs - nonlib specs.
This line contains a summary for specifications that are not imported from a library, but
unique for the project. (Library specifications are orange in the development graph, the
other either blue or green, depending on their status.)theorems contains the number of theorems (not axioms) that were invented by the user. proofs shows how many proofs were done, for a completed project this is equal to
the number of user defined theorems + the number of (generated) proof obligations. proof steps shows the number of rule applications of the calculus. interactions is the number rule applications that were done by the user.