Welcome to the platform for verifying mathematical proofs using Truth-Functional Logic (TFL) and First Order Logic (FOL).
Log in to begin working on some proofs!
Don't have an account? Sign up now!
