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

[ICO]NameLast modifiedSizeDescription

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