開啟主選單
首頁
隨機
登入
設定
關於Tan Kian-ting的維基
免責聲明
Tan Kian-ting的維基
搜尋
「Dafny雜記」修訂間的差異
較新編輯 →
Dafny雜記
(檢視原始碼)
於 2023年8月10日 (四) 01:58 的修訂
增加 901 位元組
、
2023年8月10日 (四) 01:58
建立內容為「{{Nav|程式語言、邏輯學}} == 安裝 == # Ubuntu 系Linux:先灌 .NET 6.0 <code>sudo apt install dotnet-sdk-6.0</code> # 下載最新版本,解壓縮 (…」的新頁面
於 2023年8月10日 (四) 01:58 的修訂
(
檢視原始碼
)
Tankianting
(
討論
|
貢獻
)
(建立內容為「{{Nav|程式語言、邏輯學}} == 安裝 == # Ubuntu 系Linux:先灌 .NET 6.0 <code>sudo apt install dotnet-sdk-6.0</code> # 下載最新版本,解壓縮 (…」的新頁面)
較新編輯 →
(無差異)
Tankianting
行政員
、
管理員
2,617
次編輯