Li-yao Xia closed issue #25: Coq news is outdated at Li-yao Xia / rocq-planet

Li-yao Xia
2024-10-04T09:38:18Z

Should replace with zulip stream.