GitHub repository: tomato42/ecpp-verifier
Primary language: Crystal
Created: 2016-10-23T22:13:22Z
Description: Verifying primality certificates generated by Primo