lean4monaco 1.0.9 → 1.0.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +7 -0
- package/package.json +5 -1
package/README.md
CHANGED
|
@@ -1,8 +1,15 @@
|
|
|
1
1
|
# Lean 4 Monaco
|
|
2
2
|
|
|
3
|
+
Provides browser support for running Lean in a Monaco editor.
|
|
4
|
+
|
|
5
|
+
This package is based on the VSCode extension
|
|
6
|
+
[Lean 4](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
|
|
7
|
+
[Lean Infoview](https://www.npmjs.com/package/@leanprover/infoview).
|
|
8
|
+
|
|
3
9
|
## Usage
|
|
4
10
|
|
|
5
11
|
Install this package in your npm project.
|
|
12
|
+
|
|
6
13
|
```
|
|
7
14
|
npm install lean4monaco
|
|
8
15
|
```
|
package/package.json
CHANGED
|
@@ -1,11 +1,15 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "lean4monaco",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.10",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"main": "dist/index.js",
|
|
6
6
|
"files": [
|
|
7
7
|
"dist"
|
|
8
8
|
],
|
|
9
|
+
"repository": {
|
|
10
|
+
"type": "git",
|
|
11
|
+
"url": "https://github.com/hhu-adam/lean4monaco"
|
|
12
|
+
},
|
|
9
13
|
"scripts": {
|
|
10
14
|
"postinstall": "if [ -d \"server\" ]; then cd server && npm install; fi",
|
|
11
15
|
"start_client": "vite serve dev",
|