Zulip Chat Archive

Stream: new members

Topic: Where to post questions about Lean4?


Mika (Aug 05 2022 at 15:50):

Hi, I'm Mika and I want to learn more about Lean4. Since the manual of the language seems to not cover every aspect of the language yet, I wanted to ask where is a good place to ask questions about doing something specifically in Lean4 in this Zulip-Chat.

Eric Rodriguez (Aug 05 2022 at 15:51):

there is a #lean4 channel

Mika (Aug 05 2022 at 15:52):

Okidoki, thanks :)


Last updated: Dec 20 2023 at 11:08 UTC