UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

3 folders, 0 files
../
chai/
2.43 kB
generic/
55.5 kB
utils/
189 kB