Sebastian Ullrich

Symlinks produced by `nix build` are in arbitrary order

4

**Describe the bug** `nix build` creates symlinks with suffixes `-1`, `-2`, ... when given multiple installables, but not necessarily in an order corresponding to the order given on the cmdline...

test: `big_omega` benchmark

4

Extracted from #5614

fix: `instantiateMVars` slowdown in the language server

1

Fixes #5614

RFC: `if let` chains

18

Decrease redundancy in cases like ```lean if let c a := x then if q a then y else z else z ... ``` by supporting mixed `let`/condition chains like...

chore: CI: build 64-bit platforms consistently with GMP

7

As proposed in https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Crashing.20bug.2C.20possibly.20related.20to.20UInt64.20arithmetic/near/463428033 Should be combined with the version bump in #5089

``` % g++ test.cpp -o test -lleanshared -lreverseffiwithmathlib ld: __DATA_CONST segment missing SG_READ_ONLY flag in '/Users/cruis/Documents/ReverseFFIwithMathlib/.lake/build/lib/libreverseffiwithmathlib.dylib' clang: error: linker command failed with exit code 1 (use -v to see invocation)...

feat: `debug.proofAsSorry`

2

An experimental variant of `debug.byAsSorry`

[RFC] Revise `Std.Range`

6

The current `Std.Range` ``` structure Range where start : Nat := 0 stop : Nat step : Nat := 1 ``` in my experience has quite a few issues: *...

Setup Guide should say something about running resulting executables

1

See discussion at https://github.com/leanprover/lean4/pull/7265

### Description  ### Context n/a ### Steps to Reproduce 1. open file with out-of-date deps 2. observe spinner **Expected behavior:** The infoview should alert users on the error **Actual...