proof-architect

Structured methodology for constructing and verifying mathematical proofs in statistical research