Zulip Chat Archive
Stream: new members
Topic: RSS
Nigel Burke (Mar 06 2025 at 11:12):
Hi, I am new to lean and learning a bit about it. I was interested in following updates to the mathlib in areas I know about. I see there is a #rss channel here that seems to report updates to mathlib. Is there a way to get this in an RSS reader?
Last updated: May 02 2025 at 03:31 UTC