docs: update Ltac2 source links to rocq-prover#4

fengfeng-zi wants to merge 1 commit into

tchajed:mastertchajed/ltac2-tutorial:masterfrom

fengfeng-zi:docs/update-rocq-ltac2-linksfengfeng-zi/ltac2-tutorial:docs/update-rocq-ltac2-linksCopy head branch name to clipboard