Index of /lean

	Name	Last modified	Size	Description
	Parent Directory		-
	lean-3.51.1_0.darwin..>	2024-09-06 00:29	5.5M
	lean-3.51.1_0.darwin..>	2024-09-06 00:29	512
	lean-3.51.1_0.darwin..>	2024-09-06 00:23	5.8M
	lean-3.51.1_0.darwin..>	2024-09-06 00:23	512
	lean-3.51.1_0.darwin..>	2024-09-06 00:19	5.9M
	lean-3.51.1_0.darwin..>	2024-09-06 00:19	512
	lean-3.51.1_0.darwin..>	2024-09-06 00:23	5.8M
	lean-3.51.1_0.darwin..>	2024-09-06 00:23	512
	lean-3.51.1_0.darwin..>	2024-09-06 23:06	5.6M
	lean-3.51.1_0.darwin..>	2024-09-06 23:06	512
	lean-3.51.1_0.darwin..>	2024-09-06 00:23	5.9M
	lean-3.51.1_0.darwin..>	2024-09-06 00:23	512
	lean-3.51.1_0.darwin..>	2024-09-06 19:22	5.3M
	lean-3.51.1_0.darwin..>	2024-09-06 19:22	512
	lean-3.51.1_0.darwin..>	2024-09-06 21:45	5.5M
	lean-3.51.1_0.darwin..>	2024-09-06 21:45	512
	lean-3.51.1_0.darwin..>	2024-09-06 00:06	5.3M
	lean-3.51.1_0.darwin..>	2024-09-06 00:06	512
	lean-3.51.1_0.darwin..>	2024-09-06 08:23	5.5M
	lean-3.51.1_0.darwin..>	2024-09-06 08:23	512
	lean-3.51.1_0.darwin..>	2025-03-16 00:57	5.4M
	lean-3.51.1_0.darwin..>	2025-03-16 00:57	512
	lean-3.51.1_0.darwin..>	2024-10-10 04:06	5.5M
	lean-3.51.1_0.darwin..>	2024-10-10 04:06	512