Index of /~daria/ZPF/2023/Lab23/Lab2

	Name	Last modified	Size	Description
	Parent Directory		-
	CoqSurvivalKit.pdf	2023-03-20 22:09	385K
	PlanLab2.txt	2023-03-20 22:09	383
	coqITP2015_ex1.v	2023-03-20 22:09	3.1K
	functions.v	2023-03-20 22:09	1.3K
	logic.v	2023-03-20 22:09	1.4K