“A project focused on creating verified cryptographic libraries that are widely deployed to protect internet traffic.”