Code

add post on searching for lemmas#75

Code

Open

BoltonBailey wants to merge 9 commits intoleanprover-community:masterleanprover-community/blog:masterfrom BoltonBailey:masterBoltonBailey/leanprover-community-blog:masterCopy head branch name to clipboard

+101

Commits

Commits on Jun 2, 2024

• add post

  BoltonBailey

  committed
  713db15

  Copy full SHA for 713db15

• add comments on jireh's ideas

  BoltonBailey

  committed
  b56c770

  Copy full SHA for b56c770

• comment on finickyness of exact

  BoltonBailey

  committed
  b7951b0

  Copy full SHA for b7951b0

• another comment on exact?

  BoltonBailey

  committed
  c9cb865

  Copy full SHA for c9cb865

• extra advice in loogle section

  BoltonBailey

  committed
  5d74f6c

  Copy full SHA for 5d74f6c

Commits on Nov 12, 2024

• Update posts/searching-for-theorems-in-mathlib.md

  BoltonBailey

  authored
  610588a

  Copy full SHA for 610588a

• Update posts/searching-for-theorems-in-mathlib.md

  BoltonBailey

  authored
  553359a

  Copy full SHA for 553359a

• Update posts/searching-for-theorems-in-mathlib.md

  BoltonBailey

  authored
  1dfe40b

  Copy full SHA for 1dfe40b

Commits on Nov 27, 2024

• Update searching-for-theorems-in-mathlib.md

  BoltonBailey

  authored
  25661b0

  Copy full SHA for 25661b0