lean4-code-actions CDN files

jsDelivr monthly hits badge
  1. lean4-code-actions@1.1.32 /
  2. .idea
...
codeStyles
inspectionProfiles
encodings.xml 159 B
jsLibraryMappings.xml 187 B
markdown.xml 454 B
misc.xml 174 B
modules.xml 302 B
vcs.xml 357 B
vscode-lean4-code-actions.iml 458 B

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