Zulip Chat Archive
Stream: triage
Topic: PR !4#26838: feat: add lemmas about `List.scanr`
Random Issue Bot (Aug 04 2025 at 14:12):
Today I chose PR #26838 for discussion!
feat: add lemmas about List.scanr
Created by @Vlad Tsyrklevich (@vlad902) on 2025-07-07
Labels: t-data
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC