Sister Stream on Coq Zulip

Stream: Machine Learning for Theorem Proving

[Jason Rute]

There is now a Coq Zulip and in particular it has a very similar stream: #Machine learning and automation. Check it out!