Formal Proof Checking Implementation Protocol | Formal Proof Checking | Mathematics | NEROS