BumpPy A tool to bump a large collection of Lean 4 projects NOTE: This is currently not in a completed state and some of its dependencies need to be bumped. PRs to fix either issue are welcome.