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

1 points | by Luc an hour ago

No comments yet