Zulip Chat Archive
Stream: Carleson
Topic: Upstream to Mathlib
Pietro Monticone (Oct 22 2024 at 00:23):
I'm prefixing all the Mathlib branches with Carleson/ and adding the sentence "Upstreamed from the Carleson project." to make sure they're findable later.
See #mathlib4 > Upstream from the Carleson Project.
Pietro Monticone (Mar 26 2025 at 18:55):
Pietro Monticone (Mar 28 2025 at 21:11):
Last updated: May 02 2025 at 03:31 UTC