SNARK (theorem prover)

ID: snark-theorem-prover

New to topics? Read the docs here!