Add sut/fol pairs and answers. #3
Description
I am working on a set of standard subject/formula pairs and results for validating an interpreter's correctness.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
I am working on a set of standard subject/formula pairs and results for validating an interpreter's correctness.