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