Zulip Chat Archive
Stream: std4
Topics:
- low level UIntX and ByteArray stuff (4 messages, latest: Jan 27 2023 at 00:21)
- List.Perm in Std (19 messages, latest: Jan 26 2023 at 23:12)
- Std simp-nf decide props (9 messages, latest: Jan 22 2023 at 17:26)
- From/TryFrom as in Rust (15 messages, latest: Jan 20 2023 at 03:02)
- What lemmas do (not) belong to std? (5 messages, latest: Jan 18 2023 at 07:52)
- Stack & Queue (3 messages, latest: Jan 16 2023 at 12:37)
- SAT core defs in Std? (56 messages, latest: Jan 15 2023 at 12:47)
- collection typeclasses (66 messages, latest: Jan 10 2023 at 17:39)
- Jannis' PRs (1 message, latest: Jan 09 2023 at 23:52)
- SetNotation naming conventions (2 messages, latest: Dec 31 2022 at 17:17)
- Nat.coprime (1 message, latest: Dec 22 2022 at 13:30)
- spurious
unusedHavesSuffices
linter error? (34 messages, latest: Dec 21 2022 at 10:54) - just run one linter? (3 messages, latest: Dec 18 2022 at 20:49)
- where did the noisy linter go? (1 message, latest: Dec 18 2022 at 18:38)
- requests for Rat (5 messages, latest: Dec 14 2022 at 12:25)
- local documentation? (40 messages, latest: Dec 02 2022 at 18:14)
- Pairing Heap (4 messages, latest: Dec 02 2022 at 05:27)
- online documentation? (5 messages, latest: Dec 02 2022 at 01:14)
- ext is weaker (8 messages, latest: Nov 24 2022 at 15:51)
- Move on_goal to std (1 message, latest: Nov 23 2022 at 12:04)
- bump to nightly-2022-11-17 (3 messages, latest: Nov 17 2022 at 11:41)
- New issues (1 message, latest: Nov 01 2022 at 23:58)
- [RFC] Renaming Std.Tactic (6 messages, latest: Oct 28 2022 at 11:23)
- Range folds (18 messages, latest: Oct 26 2022 at 22:10)
- documentation efforts (10 messages, latest: Oct 26 2022 at 07:22)
- Array lemmas (3 messages, latest: Oct 26 2022 at 03:12)
- ✔ functional streams from lean 3 (2 messages, latest: Oct 25 2022 at 14:25)
- functional streams from lean 3 (1 message, latest: Oct 25 2022 at 12:50)
- About LawfulOrd (27 messages, latest: Oct 15 2022 at 07:58)
- RBSet functions (16 messages, latest: Oct 12 2022 at 13:27)
- ✔ BEq nonsense (25 messages, latest: Oct 11 2022 at 19:10)
- Build lists top-down (12 messages, latest: Oct 07 2022 at 02:34)
- operations on HashMap (7 messages, latest: Oct 06 2022 at 08:53)
- stream events (2 messages, latest: Oct 04 2022 at 20:49)
Last updated: Jan 31 2023 at 21:29 UTC