UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

278 kB
/img/rename.gif