2,619
次編輯
「Dafny雜記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 41： | 行 41： | ||
== 參考 == | == 參考 == | ||
* https://dafny.org/dafny/Installation | |||
* [https://www.cse.unsw.edu.au/~anymeyer/2011/refs/GettingStarted.pdf Tutorial: Making a start in Dafny] by Albert Nymeyer | |||