Zulip Chat Archive

Stream: new members

Topic: formalization communities

Huỳnh Trần Khanh (Feb 02 2021 at 12:50):

aside from this community are there any places where I can talk about formal verification?

Huỳnh Trần Khanh (Feb 02 2021 at 12:50):

formal verification of both math and computer programs

Kevin Buzzard (Feb 02 2021 at 12:51):

Coq and Isabelle have communities (Coq certainly has a Zulip, for example). People talk about computer programs on the Xena discord, which I tolerate.

Adam Topaz (Feb 02 2021 at 13:01):

There are zulip servers for agda and HoTT as well.

Huỳnh Trần Khanh (Feb 02 2021 at 13:23):

Can you link to them?

Kevin Buzzard (Feb 02 2021 at 13:24):

Coq zulip chat is coq.zulipchat.com , Xena discord I can give you an invite if you don't have one already.

Kevin Kappelmann (Feb 02 2021 at 13:25):

https://github.com/rht/star.zulipchat.com#langs

Huỳnh Trần Khanh (Feb 02 2021 at 13:25):

Yeah please DM me with an invite, I somehow lost track of the server LOL

Darren Zhu (Mar 10 2021 at 02:30):

(deleted)

Darren Zhu (Mar 10 2021 at 02:32):

Kevin Buzzard said:

Coq and Isabelle have communities (Coq certainly has a Zulip, for example). People talk about computer programs on the Xena discord, which I tolerate.

Could I have an invite to the Xena discord server? Thanks!

Darren Zhu (Mar 10 2021 at 16:41):

Kevin Buzzard said:

Coq and Isabelle have communities (Coq certainly has a Zulip, for example). People talk about computer programs on the Xena discord, which I tolerate.

Could I have an invite to the Xena discord server? Thanks!
(sorry for the duplicate messages, I was not sure how Zulipchat worked)

Last updated: Dec 20 2023 at 11:08 UTC