Index of /~tinelli/classes/181/Fall23/Tools/Dafny/Program-proofs-code/ch12

	Name	Last modified	Size	Description
	Parent Directory		-
	12.2-PowersOf2.dfy	2023-10-11 23:26	509
	12.0-Fib.dfy	2023-10-11 23:26	1.9K
	12.3-Sums.dfy	2023-10-11 23:26	2.4K