search

carneades / carneades-4

Version 4 of Carneades, implemented in Go
https://carneades.github.io/
Other
48 stars 13 forks source link

Check that predicates of statements and assumptions have been declared. #33

Open tfgordon opened 7 years ago

tfgordon commented 7 years ago

Extend the validator to check that all predicates used by statements and assumptions have been declared in the language.