lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1 folder, 0 files

	Filename	Content Type	Size
	../
	models/	–	1.25 kB