Zulip Chat Archive

Stream: lean4 dev

Topic: Lean-TUI (self-contained infoview)

Notification Bot (Jan 25 2026 at 19:41):

This topic was moved to #general > Lean-TUI (self-contained infoview) by Patrick Massot.

Last updated: Feb 28 2026 at 14:05 UTC