This would be monumentally helpful. Rejecting a proof for the sake of documentation doesn't help with actionable items (like changes to the proof). The proofs need to be better tied to tasks/project workflows.
This would be monumentally helpful. Rejecting a proof for the sake of documentation doesn't help with actionable items (like changes to the proof). The proofs need to be better tied to tasks/project workflows.