search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 7 forks source link

snark #8

Closed arademaker closed 7 years ago

arademaker commented 7 years ago
  1. instalable via quicklisp (http://quicklisp.org)
  2. https://github.com/nilqed/SNARK
kohlhase commented 7 years ago

Thanks a lot, I had all but forgotten about SNARK, I have added it to the main page.