SNARK

From Just Solve the File Format Problem
Revision as of 12:44, 15 November 2017 by Dan Tobias (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
File Format
Name SNARK
Ontology

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 parenthesis (resembling LISP).

Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox