2,617
次編輯
「Dafny雜記」修訂間的差異
跳至導覽
跳至搜尋
建立內容為「{{Nav|程式語言、邏輯學}} == 安裝 == # Ubuntu 系Linux：先灌 .NET 6.0 <code>sudo apt install dotnet-sdk-6.0</code> # 下載最新版本，解壓縮 (…」的新頁面
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學}} == 安裝 == # Ubuntu 系Linux：先灌 .NET 6.0 <code>sudo apt install dotnet-sdk-6.0</code> # 下載最新版本，解壓縮 (…」的新頁面） |
（無差異）
|