lean4-code-actions CDN files
| ... | |
| autoImport.gif | 690.22 KB |
| convertTextToList.gif | 657.7 KB |
| createNewFile.gif | 827.38 KB |
| extractDefinitionToSeparateFile.gif | 786.62 KB |
| icon.128x128.png | 6.3 KB |
| rename.gif | 271.3 KB |
| setArgumentStyle.gif | 1015.33 KB |
| updateImports.gif | 1.6 MB |
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