UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

lean4-code-actions / libs / generic

2 folders, 1 file

	Filename	Content Type	Size
	../
	data/	–	1.8 kB
	models/	–	52.7 kB
	LICENSE	text/plain	1.07 kB