leanprover-community / mathlib

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

Zulip Chat Archive

Stream: Computer algebra


Topics:

  • Low hanging fruits? (5 messages, latest: Sep 26 2025 at 14:21)
  • What would interactive use of a simplifier look like? (9 messages, latest: Sep 26 2025 at 14:20)
  • channel events (1 message, latest: Feb 03 2025 at 23:42)

Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll