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

• Posted 2 hours ago by Luc
• 1 points