lean4-code-actions CDN files

jsDelivr monthly hits badge
  1. lean4-code-actions@1.1.32 /
  2. src /
  3. commands
...
autoImport.ts 5.61 KB
convertTextToList.ts 533 B
createFreewriteFile.ts 1.12 KB
createNewFile.ts 10.38 KB
createNewFileSet.ts 3.31 KB
extractDefinitionToSeparateFile.ts 3.85 KB
renameDefinition.ts 2.63 KB
setArgumentStyle.ts 3.32 KB

Free Open Source CDN for lean4-code-actions

Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/lean4-code-actions