RINGS needs JavaScript: proofs are built in your browser.