Code

feat: snippet extension#3054

Code

Merged

Vtec234 merged 4 commits intomasterleanprover/lean4:masterfrom snippet-editleanprover/lean4:snippet-editCopy head branch name to clipboardDec 20, 2023

+49

Commits

Commits on Dec 20, 2023

• feat: snippet extension

  Vtec234

  committed
  ca4fea4

  Copy full SHA for ca4fea4

• doc: address comment

  Vtec234

  committed
  9508044

  Copy full SHA for 9508044

• doc: update snippet docs

  Show description for 72d30bb
  

  Vtec234

  and

  david-christiansen

  committed
  72d30bb

  Copy full SHA for 72d30bb

• doc: release note

  Vtec234

  committed
  c85e051

  Copy full SHA for c85e051