Keith Adler releases Lean Studio, a native desktop IDE for Lean 4