Elements of Proof needs JavaScript to check proofs in your browser.