Sign in Sign up
npm

lean4-code-actions

Refactorings and snippets for Lean 4

npm View on Npm

Activity

Latest release
2y ago
Total releases
1
Cadence
—
Last 12 months
0

Details

License
MIT
First release
Apr 29, 2024
Releases
Version Released
1.1.32 initial