lean4-code-actions CDN files

jsDelivr monthly hits badge
  1. lean4-code-actions@1.1.32 /
  2. libs /
  3. generic /
  4. models /
  5. Artifact
...
BooleanArtifact.ts 1.04 KB
GenericArtifact.ts 1.18 KB
StringArtifact.ts 1.01 KB
UrlArtifact.ts 1.21 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