Julia package for parsing, manipulating and evaluating formulas in first-order logic.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).