leanprover-community / mathlib

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

Zulip Chat Archive

Stream: concrete semantics


Topics:

  • What's Isabelle's "auto"? (8 messages, latest: Mar 25 2020 at 13:33)
  • Status report (4 messages, latest: Feb 07 2020 at 19:00)
  • signup sheet (1 message, latest: Mar 01 2019 at 19:00)
  • hello (14 messages, latest: Feb 28 2019 at 20:51)

Last updated: Apr 16 2021 at 20:15 UTC

Theme Simple by wildflame © 2016 Powered by jekyll