Zulip Chat Archive

Stream: std4

Topics:

std4#470 (55 messages, latest: Dec 20 2023 at 11:08)
std4#399 (1 message, latest: Dec 20 2023 at 02:14)
HashMap insert or modify (16 messages, latest: Dec 19 2023 at 02:23)
Trythis code action title (7 messages, latest: Dec 16 2023 at 21:19)
✔ Can I change change at to change to ? (8 messages, latest: Dec 12 2023 at 07:16)
Panics in Std.HashMap.find! (4 messages, latest: Dec 09 2023 at 08:06)
Setting elements of arrays with GetElem (10 messages, latest: Dec 08 2023 at 21:37)
PR backlog (170 messages, latest: Dec 08 2023 at 05:24)
Cacheless library search (1 message, latest: Dec 07 2023 at 03:17)
Zero and One (8 messages, latest: Dec 02 2023 at 04:18)
Mathlib bump for "Operations for bit representation of …" (40 messages, latest: Dec 01 2023 at 00:54)
bump/v4.4.0 (25 messages, latest: Nov 30 2023 at 23:49)
tail recursion (6 messages, latest: Nov 28 2023 at 03:34)
Where to put lemmas (2 messages, latest: Nov 27 2023 at 18:38)
✔ Why is arithmetic in ℚ irreducible? (5 messages, latest: Nov 27 2023 at 11:44)
no kernel reduction of HashMap.insert (20 messages, latest: Nov 25 2023 at 04:58)
#354 (3 messages, latest: Nov 20 2023 at 08:47)
register_label_attr and local attribute (2 messages, latest: Nov 19 2023 at 05:04)
v4.3.0-rc2 (3 messages, latest: Nov 16 2023 at 11:21)
linter.unusedVariables bug (2 messages, latest: Nov 14 2023 at 03:42)
✔ Exists.choose has the property (11 messages, latest: Nov 08 2023 at 21:48)
NatCast (15 messages, latest: Nov 07 2023 at 17:40)
CI (3 messages, latest: Nov 05 2023 at 04:59)
upstreaming norm_cast (3 messages, latest: Nov 04 2023 at 17:54)
v4.3.0-rc1 (2 messages, latest: Oct 31 2023 at 04:27)
simp? suggestion includes comments (1 message, latest: Oct 26 2023 at 21:34)
stable branch (11 messages, latest: Oct 25 2023 at 23:40)
Changes to DiscrTree (10 messages, latest: Oct 23 2023 at 11:33)
std4#215 Try these (8 messages, latest: Oct 23 2023 at 09:02)
lake warnings about std (19 messages, latest: Oct 22 2023 at 21:46)
Problem with repeat' (16 messages, latest: Oct 19 2023 at 08:14)
Classical.not_forall (3 messages, latest: Oct 17 2023 at 09:29)
oops (14 messages, latest: Oct 15 2023 at 11:42)
eq_zero_of_add_eq_zero_right (6 messages, latest: Oct 09 2023 at 17:07)
List.get?_eq_get and List.get!_eq_get (5 messages, latest: Sep 28 2023 at 20:07)
Requirements for regex library (9 messages, latest: Sep 28 2023 at 02:09)
Rename RBSet.map to RBSet.mapMonotonic? (3 messages, latest: Sep 26 2023 at 14:38)
unused anonymous argument (10 messages, latest: Sep 19 2023 at 19:37)
simp attributes in Std (10 messages, latest: Sep 13 2023 at 19:43)
std4#160 case tactic, by type instead of by tag (14 messages, latest: Sep 13 2023 at 14:27)
TryThis widget doesn't support multi-line suggestions (27 messages, latest: Sep 13 2023 at 00:57)
Mathlib bump patches (92 messages, latest: Sep 06 2023 at 21:54)
std doesn't work within mathlib any more (109 messages, latest: Sep 05 2023 at 18:24)
std4#231, and code actions (10 messages, latest: Aug 26 2023 at 08:12)
Triage role (16 messages, latest: Aug 25 2023 at 08:10)
ToExpr derive handler (62 messages, latest: Aug 22 2023 at 02:12)
try? from Mathlib.Control.Basic (9 messages, latest: Aug 21 2023 at 23:28)
#6356 and docs#Nat.shiftLeft_eq (24 messages, latest: Aug 21 2023 at 21:49)
compileTimeSearchPath% (3 messages, latest: Aug 20 2023 at 06:57)
bump to nightly-2023-08-17 (1 message, latest: Aug 17 2023 at 09:45)
How classical is std4? (56 messages, latest: Aug 16 2023 at 08:06)
Equiv (63 messages, latest: Aug 14 2023 at 22:25)
local instances in #lint (10 messages, latest: Aug 05 2023 at 10:40)
New alias syntax (1 message, latest: Jul 31 2023 at 13:32)
✔ Failing code in test suite (6 messages, latest: Jul 29 2023 at 15:06)
bump to nightly-2023-07-25 (8 messages, latest: Jul 28 2023 at 07:59)
lint structure projections (86 messages, latest: Jul 26 2023 at 14:14)
Cleanup Nat Lemmas (6 messages, latest: Jul 25 2023 at 10:04)
Fin.succAbove (19 messages, latest: Jul 21 2023 at 01:11)
bug in @\[ext\] with extends (6 messages, latest: Jul 19 2023 at 22:13)
isn't "iff" obscure? (37 messages, latest: Jul 19 2023 at 21:40)
Deque (8 messages, latest: Jul 17 2023 at 15:31)
RFC: Positive integer type with views (9 messages, latest: Jul 17 2023 at 04:52)
TacticCodeAction (13 messages, latest: Jul 12 2023 at 13:03)
[Cmp typeclass refactor](topic/Cmp.20typeclass.20refactor.html) (20 messages, latest: Jul 10 2023 at 05:03)
deprecated annotation (10 messages, latest: Jul 07 2023 at 18:09)
Fin basics (206 messages, latest: Jul 07 2023 at 07:58)
tailrec pmap (31 messages, latest: Jul 06 2023 at 05:20)
Random calc ranges (11 messages, latest: Jul 05 2023 at 20:29)
List.groupBy (35 messages, latest: Jul 03 2023 at 22:07)
Unboxed Partial? (35 messages, latest: Jun 30 2023 at 07:30)
prod_Nat.dvd_and_dvd_of_dvd_prod (3 messages, latest: Jun 29 2023 at 13:29)
SAT core defs in Std? (66 messages, latest: Jun 29 2023 at 07:54)
✔ True = False be a goal (3 messages, latest: Jun 28 2023 at 13:13)
proofs breaking in Std/Data/Array/Init/Lemmas.lean (2 messages, latest: Jun 28 2023 at 03:12)
collection typeclasses (88 messages, latest: Jun 26 2023 at 17:32)
ListM (3 messages, latest: Jun 26 2023 at 06:01)
LawfulBEq (1 message, latest: Jun 25 2023 at 17:36)
Bug in extended binders? (9 messages, latest: Jun 25 2023 at 00:44)
Bug with rcases combined with substitution (5 messages, latest: Jun 24 2023 at 00:46)
https://github.com/leanprover/std4/pull/154 (8 messages, latest: Jun 19 2023 at 16:51)
Bi-inhabited sort (1 message, latest: Jun 11 2023 at 06:21)
Char.csize_pos and String.csize_pos are the same (13 messages, latest: May 29 2023 at 13:53)
feat: move and add theorems on String std4#124 (17 messages, latest: May 11 2023 at 01:06)
Porting just functionality (62 messages, latest: May 06 2023 at 15:58)
repeat1' (4 messages, latest: Apr 17 2023 at 11:37)
rcases? (4 messages, latest: Apr 09 2023 at 08:13)
by_cases tags bug (4 messages, latest: Mar 31 2023 at 09:50)
simp? bug (?) (16 messages, latest: Mar 30 2023 at 23:16)
✔ PR #98 (2 messages, latest: Mar 23 2023 at 11:29)
Proving theorems about monads (32 messages, latest: Feb 28 2023 at 00:42)
cache adoption by std4 (14 messages, latest: Feb 27 2023 at 01:01)
nolinting generated decls (4 messages, latest: Feb 16 2023 at 18:11)
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)
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: May 02 2025 at 03:31 UTC