vscode-isabelle

Isabelle Support for VSCode

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
client		client
server		server
License.txt		License.txt
README.md		README.md

Provide feedback