Index of /lean/code

	Name	Last modified	Size	Description
	Parent Directory		-
	Quiz.lean	2026-01-25 22:04	276
	SortingArray.lean	2026-01-25 22:04	1.3K
	SortingList.lean	2026-01-25 22:04	2.8K
	Tactics.lean	2026-01-26 20:16	224