Index of /~monin/Teaching/Misc/Doct/Coq

	Name	Last modified	Size	Description
	Parent Directory		-
	day1-4.pdf	2026-08-16 10:26	168K
	corr_begin_1.v	2026-08-16 10:26	2.5K
	exer_1.v	2026-08-16 10:26	2.4K
	example_day1.v	2026-08-16 10:26	1.0K