Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 30, 2023

• chore: get rid of all inline C annotations for LLVM (leanprover#2363)

  bollu

  authored
  b9ec36d

  Copy full SHA for b9ec36d

Commits on Jun 22, 2023

• chore: remove workarounds

  leodemoura

  committed
  bebf192

  Copy full SHA for bebf192

Commits on Nov 28, 2022

• feat: add HashSet.insertMany

  

  kim-em

  authored and

  leodemoura

  committed
  a3dfa55

  Copy full SHA for a3dfa55

Commits on Oct 28, 2022

• feat: avoid modulo in HashMap and HashSet

  Show description for 25beba6
  leodemoura

  committed
  25beba6

  Copy full SHA for 25beba6

Commits on Sep 26, 2022

• chore: move Std.* data structures to Lean.*

  

  digama0

  authored and

  leodemoura

  committed
  85119ba

  Copy full SHA for 85119ba

Commits on Sep 25, 2022

• feat: add ForM -> ForIn adapter

  

  digama0

  authored and

  leodemoura

  committed
  97bcc7f

  Copy full SHA for 97bcc7f

Commits on Aug 31, 2022

• chore: move Bootstrap.Data -> Lean.Data

  

  digama0

  authored and

  leodemoura

  committed
  ebb5b97

  Copy full SHA for ebb5b97

Loading