Is there something Lean can do but Lean CLI can't?

Author

Yi ren

September 2021