All pull requests

Pull requests

• feat: bundle lean-beam with release toolchains

  #15665·ejgallego opened Oct 13, 2026Contributor·

  ·

• feat: verify all and any for tree maps

  #15664·saviorand opened Oct 13, 2026·

  ·
  1

• fix: IO.Process.spawn crash with inheritEnv := false on macOS

  toolchain-available
  #15663·rbeauchamp opened Oct 13, 2026Contributor·

  ·
  1

  1

• chore: import less

  toolchain-available
  #15656·TwoFX opened Oct 13, 2026Member·

  ·
  2

• fix: reject out-of-range process ids and correct libuv address conversions

  changelog-librarytoolchain-available
  #15653·algebraic-dev opened Oct 13, 2026Member·6/6·

  ·
  

• perf: retry stuck instance problems only when a blocker is assigned

  changelog-languagedownstreamtoolchain-available
  #15650·Kha opened Oct 13, 2026Member·

  ·
  1

• perf: export only native symbols of public and meta functions

  changelog-compilerchanges-stage0release-citoolchain-available
  #15648·Kha opened Oct 13, 2026Member·

  ·
  2

• feat: generalize List.take_eq_append_getElem_of_pos

  changelog-library
  #15645·olligobber opened Oct 13, 2026·

  ·
  4

• perf: collect shared dependencies when removing unused instance arguments

  toolchain-available
  #15639·WWFUG opened Oct 12, 2026·

  ·
  1

• feat: add lazy_delta_abbrev attribute

  toolchain-available
  #15620·arthur-adjedj opened Oct 11, 2026Contributor·

  ·
  1

• perf: spawn processes with posix_spawn instead of fork

  toolchain-available
  #15613·zeldovich opened Oct 11, 2026·

  ·

• refactor: libuv requests own their references

  changelog-librarytoolchain-available
  #15603·algebraic-dev opened Oct 10, 2026Member·5/6·

  ·
  

• refactor: build libuv send buffers on the stack

  changelog-libraryrelease-citoolchain-available
  #15598·algebraic-dev opened Oct 10, 2026Member·4/6·

  ·
  

• fix: make constructor, left and right respect private constructors

  toolchain-available
  #15597·rbeauchamp opened Oct 10, 2026Contributor·

  ·
  1

  1

• perf: use getConstVal in mkConstWithFreshMVarLevels

  awaiting-reviewchangelog-languagetoolchain-available
  #15591·ericluap opened Oct 10, 2026Contributor·

  ·
  4

• perf: single threaded ST fast path

  fsanitize-citoolchain-available
  #15587·hargoniX opened Oct 9, 2026Member·

  ·
  2

• feat: add Runtime.deepCopy

  changelog-compilertoolchain-available
  #15586·Vtec234 opened Oct 9, 2026Member·

  ·
  2

• feat: let modules that do not postpone codegen import ones that do

  toolchain-available
  #15583·Kha opened Oct 9, 2026Member·2/2·

  ·

• perf: do not export data that depends on how a theorem is proved

  downstreamtoolchain-available
  #15578·Kha opened Oct 9, 2026Member·

  ·
  1

• perf: lake: do not make elaboration wait on the leanir jobs of plain imports

  toolchain-available
  #15576·Kha opened Oct 9, 2026Member·1/2·

  ·
  6

• chore: limit JSON number exponent more

  changelog-notoolchain-available
  #15574·Vtec234 opened Oct 9, 2026Member·

  ·
  1

• fix: stop grind from diverging on the min of List.findIdx terms

  awaiting-reviewchangelog-librarytoolchain-available
  #15562·sgraf812 opened Oct 8, 2026Contributor·

  ·
  3

• perf: bytecode interpreter

  downstreamdownstream-forcetoolchain-available
  #15557·Rob23oba opened Oct 8, 2026Contributor·

  ·
  5

• feat: collect axioms of imported declarations on demand

  changelog-languagedownstreamtoolchain-availablewill-merge-soon
  #15556·Kha opened Oct 8, 2026Member·

  ·
  1

• perf: read expression and level metadata inline in the kernel

  awaiting-reviewtoolchain-available
  #15552·qawbecrdtey opened Oct 8, 2026·

  ·
  3