leanprover-community / mathlib

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

Zulip Chat Archive

Stream: CSLib: Code Reasoning


Topics:

  • Boole front-end: C0 (3 messages, latest: Feb 28 2026 at 11:44)
  • Changes in Boole after integrating #strata_gen (1 message, latest: Feb 20 2026 at 07:20)
  • Examples (1 message, latest: Feb 18 2026 at 17:29)
  • channel events (1 message, latest: Feb 04 2026 at 18:15)

Last updated: Feb 28 2026 at 14:05 UTC

Theme Simple by wildflame © 2016 Powered by jekyll