Zulip Chat Archive
Stream: new members
Topic: Announcement: LuaTreeLean
Eduardo Ochs (Jun 09 2024 at 16:24):
Hi all! This is my first Lean program that is worth showing:
https://github.com/edrx/LuaTreeLean
Here's a screenshot:
screenshot.png
Last updated: May 02 2025 at 03:31 UTC