ProveIt: je alatka koja dodaje korisnički grafički interfejs koji pronalazi, uređuje, dodaje i citira reference (prikaz)
