Index of /~daria/ZPF/2022/Lab22/Lab2

	Name	Last modified	Size	Description
	Parent Directory		-
	CoqSurvivalKit.pdf	2022-03-21 19:28	385K
	PlanLab2.txt	2022-03-21 19:28	383
	coqITP2015_ex1.v	2022-03-21 19:28	3.1K
	functions.v	2022-03-21 19:28	1.2K
	logic.v	2022-03-21 19:28	1.4K