Stream: jsCoq

Topic: Cheerz


view this post on Zulip Shachar Itzhaky (Sep 07 2020 at 12:30):

Heya @Karl Palmskog ! Thanks for making this stream for us.

view this post on Zulip Karl Palmskog (Sep 07 2020 at 12:30):

now we have to invite people to the stream, it will not be very visible at all for existing members.

view this post on Zulip Karl Palmskog (Sep 07 2020 at 12:31):

right now I could only I think of Clement and Bas besides us, have you interacted with anyone else lately?

view this post on Zulip Shachar Itzhaky (Sep 08 2020 at 10:49):

@Enrico Tassi was working on the Epli addon at some point.


Last updated: Jan 30 2023 at 17:03 UTC