प्रूवइट (ProveIt): एक ठो पावरफुल ग्राफिकल यूजर इंटरफेस-औजार बाटे जे संदर्भ जोड़े, देखे, आ संपादित करे मे मददगार बा। (उदाहरण)