Add a proof from GitHub