Statistics of Post-quantum Efficient Proof for Graph 3-Coloring Problem

Contact ORBilu