Irrationality Proof Implementation Protocol | Irrationality Proof | Mathematics | NEROS