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

 (leangame.autumnofautumn.com)

1 points | by Luc 3 hours ago

0 comments