Download and install the latest visual studio extension.
Whenever a file is saved in Visual Studio, the quantifier extension will compute the result and show it in the status bar.
Sample output of a change quantified in Visual Studio.
TODO
Download and install the latest visual studio extension.
Whenever a file is saved in Visual Studio, the quantifier extension will compute the result and show it in the status bar.
Sample output of a change quantified in Visual Studio.
TODO