search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

Twitter -> Mastodon for links. #103

Closed Julian closed 10 months ago

Julian commented 10 months ago

@kbuzzard has moved over, as it seems has the Lean account if I found it correctly.

I didn't see one for Lean 4 nightly release notes, so I removed that, but if there indeed is one, or is intention for one, or if you prefer leaving it as the twitter link for now, obviously let me know.

Kha commented 10 months ago

Thanks! Our Twitter account is still in use, could you please keep it there? The nightly account indeed is dead for now.

Julian commented 10 months ago

Cool. Do you want both (i.e. the Mastodon account too) or just leave the Twitter link?

Julian commented 10 months ago

(I added both, but let me know if you want it exactly as it was before!)