Broken links in README

[BoltonBailey]

See recipes/plain-lean4.lean, recipes/lean4-tactics.rst, recipes/lean4-tactics-myst.md and recipes/literate-lean4.lean for examples.

All of these links are giving me 404

[BoltonBailey]

Actually, check that, the first one is ok, the rest are broken though.