History

for article: SNARK (theorem prover)