Visual Lean: An experimental graphical user interface for writing Lean code (leangame.autumnofautumn.com) 1 points by Luc 7d ago ↗ HN
0 comments
[ 0.31 ms ] story [ 8.1 ms ] threadNo comments yet.