Links for verified-numpy