ProofCheck Verification Tool Learn how to verify proof ProofCheck public web tool https://check.proofmode.org Gitlab open-source projects: ProofCheck Web Interface, ProofCheck Node library, ProofCheck Data Tools