Zulip Chat Archive

Stream: lean4

Topic: What is leanc and how to use it

Notification Bot (Sep 29 2021 at 00:14):

This topic was moved here from #general > What is leanc and how to use it by Scott Morrison

Last updated: May 02 2025 at 03:31 UTC