How to run Dafny i VSC?

[AndrzejBlikle]

I am a newcomer to Dafny. I became interested in it since I have been developing my project similar to Dafny's goal, but quite different in mathematical background. It is based on denotational semantics and is described on my site
https://moznainaczej.com.pl/denotational-engineering/denotational-engineering-eng
I have already read a few reports and manuals on Dafny, and now I want to try it. In my Visual Studio Code, there is a Dafny extension, but its options for running and testing programs are deactivated. Could you help me out with what to do?
Andrzej Blikle
Institute of Computer Science
Polish Academy of Science
andrzej.blikle@moznainaczej.com.pl

[ichxorya]

Can you try creating an empty VSCode profile for a "clean" setting, and try working with Dafny again?

Also, for most beginner content, you only need to care about if your assertion or contracts works. It will automatically report error as any normal programming language on VSCode.

For "common talk" like this, I guess you could try using the discussions.. I see you have opened a discussion as well.