nilqed/SNARK

SNARK - SRI's New Automated Reasoning Kit

View project on GitHub

  • 2020-02-25 18:46:25 UTC - Planned check