L leangame.autumnofautumn.com Visual Lean: An experimental graphical user interface for writing Lean code 1 points Luc 11 days ago 0 comments
