Code that you insert on this page could contain malicious content capable of compromising your account. If you import a script from another page with "importScript", "mw.loader.load", "iusc", or "lusc", take note that this causes you to dynamically load a remote script, which could be changed by others. Editors are responsible for all edits and actions they perform, including by scripts. User scripts are not centrally supported and may malfunction or become inoperable due to software changes. A guide to help you find broken scripts is available. If you are unsure whether code you are adding to this page is safe, you can ask at the appropriate village pump. This code will be executed when previewing this page.
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
/* * Imported from Git commit 72b9abf17fe33ab8af55a7cfb074a9beb35365ab as of 2015-03-09 from https://github.com/proveit-js/proveit * Changes should be made through that GitHub project. */// Loader to include CSS and JS, so main script does not have to concern itself with loading CSS.// In the gadget version, ResourceLoader loads the CSS instead.mw.loader.load('//en.wikipedia.org/w/index.php?title=User:ProveIt_GT/ProveIt.css&action=raw&ctype=text/css','text/css');mw.loader.load('//en.wikipedia.org/w/index.php?title=User:ProveIt_GT/ProveIt_main.js&action=raw&ctype=text/javascript');