UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1.04 MB
/img/setArgumentStyle.gif