Zulip Chat Archive
Stream: Equational
Topic: Upstream to LeanBlueprint
Pietro Monticone (Oct 22 2024 at 21:44):
Opened blueprint#48
Pietro Monticone (Oct 22 2024 at 21:44):
Opened blueprint#49
Pietro Monticone (Oct 22 2024 at 21:44):
Opened blueprint#52
Last updated: Feb 28 2026 at 14:05 UTC