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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]1.6.0-DoubleQuadruple.dfy2025-08-24 23:04 303  
[   ]1.6-Ghost.dfy2025-08-24 23:04 142  
[   ]1.5-IsEven.dfy2025-08-24 23:04 42  
[   ]1.5-Average.dfy2025-08-24 23:04 245  
[   ]1.4.1-Min.dfy2025-08-24 23:04 161  
[   ]1.4.0-Index.dfy2025-08-24 23:04 627  
[   ]1.4-Triple-b.dfy2025-08-24 23:04 180  
[   ]1.4-Triple-a.dfy2025-08-24 23:04 158  
[   ]1.3-Triple-b.dfy2025-08-24 23:04 209  
[   ]1.3-Triple-a.dfy2025-08-24 23:04 142  
[   ]1.2-Triple.dfy2025-08-24 23:04 179  
[   ]1.1-Triple.dfy2025-08-24 23:04 99  
[   ]1.0-Triple.dfy2025-08-24 23:04 246