Index of /~pietro.digianantonio/semanticaCoq/materialeDidattico/codiceCoq

	Name	Last modified	Size	Description
	Parent Directory		-
	Auto.v	2021-11-19 12:00	24K
	Imp.vos	2021-11-18 10:36	0
	Imp.vok	2021-11-18 10:36	0
	Imp.vo	2021-11-18 10:36	128K
	Imp.glob	2021-11-18 10:36	84K
	README.md	2021-11-12 11:49	292
	Imp.v	2021-11-11 21:22	70K
	Maps.vos	2021-11-11 10:24	0
	Maps.vok	2021-11-11 10:24	0
	Maps.vo	2021-11-11 10:24	32K
	Maps.glob	2021-11-11 10:24	19K
	ProofObjects.v	2021-11-05 16:46	27K
	Maps.v	2021-11-05 16:46	11K
	Logic.v	2021-11-04 22:18	46K
	IndProp.v	2021-11-04 12:50	67K
	IndProp.vos	2021-10-29 11:17	0
	IndProp.vok	2021-10-29 11:17	0
	IndProp.vo	2021-10-29 11:17	102K
	IndProp.glob	2021-10-29 11:17	75K
	Logic.vos	2021-10-21 21:49	0
	Logic.vok	2021-10-21 21:49	0
	Logic.vo	2021-10-21 21:49	58K
	Logic.glob	2021-10-21 21:49	52K
	Tactics.vos	2021-10-21 21:46	0
	Tactics.vok	2021-10-21 21:46	0
	Tactics.vo	2021-10-21 21:46	36K
	Tactics.glob	2021-10-21 21:46	43K
	Poly.vos	2021-10-21 21:46	0
	Poly.vok	2021-10-21 21:46	0
	Poly.vo	2021-10-21 21:46	50K
	Poly.glob	2021-10-21 21:46	32K
	Lists.vos	2021-10-21 21:46	0
	Lists.vok	2021-10-21 21:46	0
	Lists.vo	2021-10-21 21:46	45K
	Lists.glob	2021-10-21 21:46	39K
	Lists.v	2021-10-21 21:46	24K
	Makefile.conf	2021-10-21 20:39	3.4K
	Makefile	2021-10-21 20:39	28K
	Induction.vos	2021-10-21 20:33	0
	Induction.vok	2021-10-21 20:33	0
	Induction.vo	2021-10-21 20:33	21K
	Induction.glob	2021-10-21 20:33	18K
	Basics.vos	2021-10-21 20:33	0
	Basics.vok	2021-10-21 20:33	0
	Basics.vo	2021-10-21 20:33	52K
	Basics.glob	2021-10-21 20:33	34K
	Tactics.v	2021-10-21 17:32	32K
	Induction.v	2021-10-21 17:32	16K
	Basics.v	2021-10-21 17:32	34K
	Poly.v	2021-10-21 14:52	18K
	_CoqProject	2021-10-06 22:48	8
	33SearchTree.v	2021-10-06 22:43	45K
	32Merge.v	2021-10-06 22:43	18K
	31Sort.v	2021-10-06 22:43	10K
	30Perm.v	2021-10-06 22:43	21K
	22Hoare2.v	2021-10-06 22:43	69K
	21Hoare.v	2021-10-06 22:43	66K
	20Equiv.v	2021-10-06 22:43	54K