Lean 4 fork for working in progress development - View it on GitHub