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: May 02 2025 at 03:31 UTC