hey folks
while studying descrete mathematics I have to go to online website for doing anything in Dafny
so what I did was modified the notepad++ and created a kind of pseudo IDE for Dafny which completely eliminates the need of online website
you can see list of all the changes and improvements,screenshots ,tutorials ,download link at this page


so if you are using Dafny language in descrete mathematics or in any other course then you can use this tool instead of going to website every time

<<sorry if I posted in wrong forum but I was little confused so I posted here as I am first year student>>