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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]13.0-Arrays.dfy2025-08-24 23:04 1.4K 
[   ]13.1-LinearSearch.dfy2025-08-24 23:04 1.5K 
[   ]13.2-BinarySearch.dfy2025-08-24 23:04 1.9K 
[   ]13.3-Min.dfy2025-08-24 23:04 794  
[   ]13.4-CoincidenceCount-a.dfy2025-08-24 23:04 748  
[   ]13.4-CoincidenceCount-b.dfy2025-08-24 23:04 1.1K 
[   ]13.4-CoincidenceCount-c.dfy2025-08-24 23:04 1.2K 
[   ]13.4-CoincidenceCount-d.dfy2025-08-24 23:04 1.6K 
[   ]13.4-CoincidenceCount-e.dfy2025-08-24 23:04 2.0K 
[   ]13.4-CoincidenceCount-f.dfy2025-08-24 23:04 2.1K 
[   ]13.4-CoincidenceCount-g.dfy2025-08-24 23:04 2.2K 
[   ]13.5-SlopeSearch.dfy2025-08-24 23:04 761  
[   ]13.6-CanyonSearch.dfy2025-08-24 23:04 2.1K 
[   ]13.7-MajorityVote.dfy2025-08-24 23:04 8.2K