User:Borisdesouza/vector.js

importScript('User:ProveIt GT/ProveIt.js');