Zulip Chat Archive

Stream: ecosystem infrastructure

Topic: LeanProject repo template

Bryan Gin-ge Chen (Jan 20 2026 at 14:29):

This is a discussion thread for the #announce > LeanProject repo template.

Last updated: Feb 28 2026 at 14:05 UTC