/ShadowProver

The definitive DCEC theorem prover built on SNARK.

Primary LanguageJavaMIT LicenseMIT

Issues