A Javascript First-Order Logic (FOL) proof verifier