Index of /~daria/ZPF/2024/Lab24/Lab2

	Name	Last modified	Size	Description
	Parent Directory		-
	CoqSurvivalKit.pdf	2024-03-02 20:39	385K
	PlanLab2.txt	2024-03-02 20:39	383
	coqITP2015_ex1.v	2024-03-17 12:39	3.2K
	functions.v	2024-03-17 12:39	1.3K
	logic.v	2024-03-17 12:39	1.4K