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

	Name	Last modified	Size	Description
	Parent Directory		-
	12.2-PowersOf2.dfy	2025-08-24 23:04	509
	12.0-Fib.dfy	2025-08-24 23:04	1.9K
	12.3-Sums.dfy	2025-08-24 23:04	2.4K