Visual Lean: Lean 코드 작성을 위한 실험적 그래픽 사용자 인터페이스

Visual Lean: An experimental graphical user interface for writing Lean code