The Tableau Browser SNARKS.

Mathias Kettner, Norbert Eisinger

Browse the full CADE paper archive.