Zulip Chat Archive

Stream: PR reviews

Topic: grind annotations

Kim Morrison (Nov 23 2025 at 03:33):

Could I please request some attention on:

Kim Morrison (Nov 23 2025 at 03:33):

feat: allow grind to unfold abs #31935

(this unlocks an application @Alex Kontorovich had asked about at #general > "Missing Tactics" list @ 💬 )

Kim Morrison (Nov 23 2025 at 03:33):

feat: grind annotations for Finsupp #31932

Kim Morrison (Nov 23 2025 at 03:33):

feat: grind annotation for Embedding.injective #31928

Kim Morrison (Nov 23 2025 at 03:33):

feat: grind annotations for choose_spec #31927

Last updated: Dec 20 2025 at 21:32 UTC