Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:
Description
The Stanford Validity Checker (SVC for short) is a research tool to check the validity of formulas expressed in a subset of first-order logic.
Categorized in: Representation and Reasoning | Automated Theorem Proving
Post comment
Cancel