Decrease priority of UNK status.

Revamp the theorem proof status handling.

Set evaluation state during parsing.

Set ProofStatus in parsing step.

Add [un]provable scope.

Add provable attribtue to Theorem.

Make HetsOptions creation DRY.

Pass url catalog and access token when proving.

Minimize prove_options method Since the specific prove-options are built in the class Proof, we only need to supply the proving mechanism with the basic prove-options, which set the resource specific values.

Rename resource's prove_options method.

Remove unused proving methods.

Add state to Theorem and ProofAttempt.

Pass ProveOptions to [async_]prove methods.

Allow to prove a single theorem.

Remove default scope on type.

Remove redundant to_s method.

Fix failing environment loading.

Wipe theorems for new ontology versions.

Add basic views for everything around proving.

Add default proof status constants.

Tell hound that `if` is good. Bring the `if` back.

Use save!

Obey hound In order to make the style consistent throughout each touched code file, I also changed some lines that hound would complain about that were not changed in this feature-branch.

Use SZS ontology to create ProofStatus.

Add ProofStatus model, remove STATUSES Constant. The ProofAttempt and Theorem models now rely on this new model.

Exclude Theorem from Sentence scope.

Add first draft of Theorem and ProofStatus models.