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

	Name	Last modified	Size	Description
	Parent Directory		-
	6-Lists.dfy	2025-11-18 17:06	9.6K
	6.2-Algebra.dfy	2025-11-18 15:31	305