Add sut/fol pairs and answers. #3

Open

Assignees

Description

opened

I am working on a set of standard subject/formula pairs and results for validating an interpreter's correctness.

No labels

No type

No fields configured for issues without a type.

No projects

No milestone

None yet

No branches or pull requests