Code

Update entry in lean.bib#486

Code

Merged

robertylewis merged 3 commits intolean4leanprover-community/leanprover-community.github.io:lean4from jcommelin-patch-1leanprover-community/leanprover-community.github.io:jcommelin-patch-1Copy head branch name to clipboardJun 13, 2024

+14-8

Commits

Commits on Jun 7, 2024

• Update entry in lean.bib

  jcommelin

  authored
  82d1738

  Copy full SHA for 82d1738

Commits on Jun 11, 2024

• Apply suggestions from code review

  Show description for 460a556
  

  jcommelin

  and

  robertylewis

  authored
  460a556

  Copy full SHA for 460a556

Commits on Jun 13, 2024

• normalize

  robertylewis

  committed
  df177a1

  Copy full SHA for df177a1