لقد راهنت للتو على @MaxResnick1 prover على شبكة Succinct Prover. حتى فقط.
‏‎1.45‏K