leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: ItaLean 2025

Topic: Social Media


Pietro Monticone (Dec 11 2025 at 16:00):

Just posted on X https://x.com/PietroMonticone/status/1999146260394094708

Eugenio Cainelli (Dec 11 2025 at 16:04):

Just posted on LinkedIn https://www.linkedin.com/feed/update/urn:li:activity:7404912893240119298/


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll