Computer-Assisted Proof Implementation Protocol | Computer-Assisted Proof | Mathematics | NEROS