Open ncoop57 opened 2 years ago
Dataset URL - here
Does the dataset exists in a scraped format ? No
Zulip is a real-time chat application for self-hosting or cloud based discussions of various communities.
There are many CS and SE communities that use Zulip for discussions such as coq.
Zulip Discussions
Dataset URL - here
Does the dataset exists in a scraped format ? No
Description
Zulip is a real-time chat application for self-hosting or cloud based discussions of various communities.
There are many CS and SE communities that use Zulip for discussions such as coq.
Procedure