chore: repoint dependency pins to leanprover#3

kim-em merged 1 commit into

mainleanprover/hex:mainfrom

repoint-pins-to-leanproverleanprover/hex:repoint-pins-to-leanproverCopy head branch name to clipboard