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
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
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