Links for libLGTBnvidiaproof