Source: wikibot/snark-theorem-prover

= SNARK (theorem prover)
{wiki=SNARK_(theorem_prover)}