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: Dec 20 2023 at 11:08 UTC