EclipseFdn / EclipseFdn/publish-extensions
Add Isabelle Extension
Open
changes-requested
extension
- Dominant language
- JavaScript
- Stars
- 341
- Forks
- 428
- Avg merge
- 40m
- Merged PRs (30d)
- 2
Description
Add support for the Isabelle proof assistant extension [`makarius/Isabelle2021-1`](https://marketplace.visualstudio.com/items?itemName=makarius.Isabelle2021-1) which is available from the Microsoft Visual Studio Marketplace.
Contributor guide
Assessment
This issue has not been assessed yet.