Closed daviddahl closed 5 years ago
Not tested, just saving this work for now
The reddit-hosted proofs are now downloaded and validated & verified. The proof format changed slightly due the string properties in the JSON with \\" was causing JSON parsing errors on reddit.
\\"
Not tested, just saving this work for now