lean4-code-actions

Refactorings and snippets for Lean 4

main:
https:/unpkg.com/lean4-code-actions@1.1.32/out/src/extension.js
Browse on unpkg