Does anybody knows of a software package where you can type a formula and it verifies sintactically (it doesn't need to check semantics).
Thanks.
The closest I know of anything like this is an implementation of Tutorial D for relational database queries:
Not sure if that's exactly what you're looking for though.