UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

lean4-code-actions / libs / utils / zod / Refinement

3 files

	Filename	Content Type	Size
	../
	index.ts	text/typescript	217 B
	oneToMany.ts	text/typescript	6.33 kB
	oneToOne.ts	text/typescript	718 B