所有公開日誌
跳至導覽
跳至搜尋
合併顯示所有Tan Kian-ting的維基中所有類型的日誌。您可以點選下拉式選單選擇日誌的類型,指定使用者名稱(區分大小寫)或影響的頁面(區分大小寫)。
- 2023年8月10日 (四) 01:58 Tankianting 討論 貢獻 已建立頁面 Dafny雜記 (建立內容為「{{Nav|程式語言、邏輯學}} == 安裝 == # Ubuntu 系Linux:先灌 .NET 6.0 <code>sudo apt install dotnet-sdk-6.0</code> # 下載最新版本,解壓縮 (…」的新頁面)