Add a link to the ProveEverywhere repository into amutake's section