Visual Lean: An experimental graphical user interface for writing Lean code Posted by Luc on Wednesday October 21, 2026 @05:01AM from the leangame.autumnofautumn.com dept. https://leangame.autumnofautumn.com/ ( no comments | on HN )
There are no comments yet.