Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 16, 2025

• More blacklisting

  nomeata

  committed
  15beac7

  Copy full SHA for 15beac7

Commits on Sep 10, 2025

• Move before closing tag

  nomeata

  committed
  738ff0c

  Copy full SHA for 738ff0c

• Support LOOGLE_HEAD env var to inject additional HTML head tags

  nomeata

  committed
  e3fdfc4

  Copy full SHA for e3fdfc4

Commits on Aug 16, 2025

• forgot file

  nomeata

  committed
  06e7f72

  Copy full SHA for 06e7f72

• Bump to 4.23

  nomeata

  committed
  cd77c33

  Copy full SHA for cd77c33

Commits on Jul 15, 2025

• Sanitize whitespace in query

  Show description for ff04530
  nomeata

  committed
  ff04530

  Copy full SHA for ff04530

Commits on Jul 13, 2025

• Bump @leanprover/unicode-input-component.js to 0.1.4

  nomeata

  committed
  e086424

  Copy full SHA for e086424

Commits on Jun 30, 2025

• [feature] Server: Logging for lean-lsp-mcp user agent (#41)

  oOo0oOo

  authored
  2c2d6a2

  Copy full SHA for 2c2d6a2

Commits on Jun 26, 2025

• Blacklist definitions under noConfusionType

  Show description for 66afee5
  nomeata

  committed
  66afee5

  Copy full SHA for 66afee5

Commits on Jun 8, 2025

• Pretty print with large width

  nomeata

  committed
  07d4605

  Copy full SHA for 07d4605

Commits on May 9, 2025

• update (#36)

  mattrobball

  authored
  19971e9

  Copy full SHA for 19971e9

Commits on May 6, 2025

• update toolchain to v4.20.0-rc4 (#35)

  Show description for a7ea1b4
  mattrobball

  authored
  a7ea1b4

  Copy full SHA for a7ea1b4

Commits on Apr 13, 2025

• closes #27 (#28)

  Show description for b340a5b
  madvorak

  authored
  b340a5b

  Copy full SHA for b340a5b

• Fix deprecated methods

  

  jsimonrichard

  authored and

  nomeata

  committed
  ce08c9f

  Copy full SHA for ce08c9f

• Update to Lean 4.19.0-rc2 (#32)

  Show description for afb8af1
  Kha

  authored
  afb8af1

  Copy full SHA for afb8af1

• fix typo "woould" (#33)

  FLDutchmann

  authored
  c144c3b

  Copy full SHA for c144c3b

Commits on Feb 17, 2025

• whoops

  eric-wieser

  committed
  d56dbe9

  Copy full SHA for d56dbe9

• adjust to also cache errors

  eric-wieser

  committed
  326f02f

  Copy full SHA for 326f02f

Commits on Feb 14, 2025

• fix: do not load the cache at compile time

  Show description for 360455d
  eric-wieser

  committed
  360455d

  Copy full SHA for 360455d

Commits on Jan 20, 2025

• JSON

  nomeata

  committed
  f9d2b41

  Copy full SHA for f9d2b41

Commits on Jan 15, 2025

• fix: fix test failures (#24)

  eric-wieser

  authored
  551e03b

  Copy full SHA for 551e03b

Commits on Jan 5, 2025

• Bump mathlib

  nomeata

  committed
  13bb23f

  Copy full SHA for 13bb23f

Commits on Dec 4, 2024

• Try to set Lean.enableInitializersExecution

  nomeata

  committed
  026c9d9

  Copy full SHA for 026c9d9

Commits on Dec 3, 2024

• Include gdb in flake

  nomeata

  committed
  2e550e1

  Copy full SHA for 2e550e1

• Bump mathlib

  nomeata

  committed
  646a5d6

  Copy full SHA for 646a5d6

Commits on Nov 15, 2024

• Bump mathlib

  nomeata

  committed
  4e1aab0

  Copy full SHA for 4e1aab0

Commits on Nov 7, 2024

• Add copy button

  Show description for 791b5a0
  nomeata

  committed
  791b5a0

  Copy full SHA for 791b5a0

Commits on Nov 5, 2024

• Adjust to 4.14

  nomeata

  committed
  a056b8c

  Copy full SHA for a056b8c

• Bump mathlib

  nomeata

  committed
  3791f48

  Copy full SHA for 3791f48

Commits on Oct 30, 2024

• Try withCurrHeartbeats

  nomeata

  committed
  6204e9c

  Copy full SHA for 6204e9c

• Use tryCatchRuntimeEx

  nomeata

  committed
  07cc7fe

  Copy full SHA for 07cc7fe

• Try to catch errors during delaboration

  nomeata

  committed
  98fc5a0

  Copy full SHA for 98fc5a0

• Typo, link to https://github.com/leanprover-community/LeanSearchClient

  nomeata

  committed
  3755b8c

  Copy full SHA for 3755b8c

Commits on Oct 29, 2024

• Use ppSignature (but strip out the id) (#20)

  Show description for 9249d38
  nomeata

  authored
  9249d38

  Copy full SHA for 9249d38

Commits on Sep 16, 2024

• More user agents

  nomeata

  committed
  f46663a

  Copy full SHA for f46663a

Pagination

Previous

Next