SNARK
From Just Solve the File Format Problem
Revision as of 20:43, 17 June 2022 by Dan Tobias (Talk | contribs)
SNARK (SRI's New Automated Reasoning Kit) is a theorem-prover program, with an associated language for making logical assertions about things and their relationships. It uses a syntax with lots of parentheses (resembling LISP).
