User:45sixtyone/vector.js

proveit = { loadMaximized: true }; importScript('User:ProveIt_GT/ProveIt.js');