我不知道如何从 Dafny 程序获取 C# 程序。
我已在 Visual Studio Code 中下载了 Dafny 并下载了 C#。我有一个 Dafny 程序,可以右键单击该程序并选择编译和运行,但我想生成一个 C# 程序,就像这个视频所示(8:46):https://www.youtube.com/watch?v=99TjfvyP1z0。
function method Fib (n : int) : int
decreases n
{
if n < 2 then n else Fib (n - 2) + Fib (n - 1)
}
method Main ()
{
print Fib (3);
}