Formal Proof Checking Validation and Review Protocol | Formal Proof Checking | Mathematics | NEROS