vscode-keymaerax

vscode-keymaerax

vscode-keymaerax

|
3 installs
| (0) | Free
Support for the KeYmaera X Theorem Prover
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info