Code

Style: Add Deprecation sub-section#604

Code

Open

vlad902 wants to merge 2 commits intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from vlad902:deprecationvlad902/leanprover-community.github.io:deprecationCopy head branch name to clipboard

Commits

Commits on Mar 10, 2025

• Style: Add Deprecation sub-section

  Show description for b6ad330
  vlad902

  committed
  b6ad330

  Copy full SHA for b6ad330

Commits on Mar 11, 2025

• Update templates/contribute/style.md

  Show description for 5ab413a
  

  vlad902

  and

  jcommelin

  authored
  5ab413a

  Copy full SHA for 5ab413a