Added Attempt - it will contain proofs (proof trees?), and possibly additional attempt-level properties in the future.
Added Attempt - it will contain proofs (proof trees?), and possibly additional attempt-level properties in the future.

andriusvelykis/proofprocess,andriusvelykis/proofprocess