lean4monaco 1.0.0

package/dist/monaco-lean4/vscode-lean4/syntaxes/lean4.json

@@ -0,0 +1,127 @@
+{
+    "name": "Lean 4",
+    "scopeName": "source.lean4",
+    "fileTypes": [],
+    "patterns": [
+        { "include": "#comments" },
+        { "match": "\\b(Prop|Type|Sort)\\b", "name": "storage.type.lean4" },
+        { "match": "\\battribute\\b\\s*\\[[^\\]]*\\]", "name": "storage.modifier.lean4" },
+        { "match": "@\\[[^\\]]*\\]", "name": "storage.modifier.lean4" },
+        {
+            "match": "\\b(?<!\\.)(global|local|scoped|partial|unsafe|private|protected|noncomputable)(?!\\.)\\b",
+            "name": "storage.modifier.lean4"
+        },
+        { "match": "\\b(sorry|admit|stop)\\b", "name": "invalid.illegal.lean4" },
+        { "match": "#(print|eval|reduce|check|check_failure)\\b", "name": "keyword.other.lean4" },
+        {
+            "match": "\\bderiving\\s+instance\\b",
+            "name": "keyword.other.command.lean4"
+        },
+        {
+            "begin": "\\b(?<!\\.)(inductive|coinductive|structure|theorem|axiom|abbrev|lemma|def|instance|class|constant)\\b\\s+(\\{[^}]*\\})?",
+            "beginCaptures": {
+                "1": { "name": "keyword.other.definitioncommand.lean4" }
+            },
+            "patterns": [{ "include": "#comments" }, { "include": "#definitionName" }, { "match": "," }],
+            "end": "(?=\\bwith\\b|\\bextends\\b|\\bwhere\\b|[:\\|\\(\\[\\{⦃<>])",
+            "name": "meta.definitioncommand.lean4"
+        },
+        {
+            "match": "\\b(?<!\\.)(theorem|show|have|from|suffices|nomatch|def|class|structure|instance|set_option|initialize|builtin_initialize|example|inductive|coinductive|axiom|constant|universe|universes|variable|variables|import|open|export|theory|prelude|renaming|hiding|exposing|do|by|let|extends|mutual|mut|where|rec|syntax|macro_rules|macro|deriving|fun|section|namespace|end|infix|infixl|infixr|postfix|prefix|notation|abbrev|if|then|else|calc|match|with|for|in|unless|try|catch|finally|return|continue|break)(?!\\.)\\b",
+            "name": "keyword.other.lean4"
+        },
+        { "begin": "«", "end": "»", "contentName": "entity.name.lean4" },
+        {
+            "begin": "(s!)\"",
+            "end": "\"",
+            "name": "string.interpolated.lean4",
+            "beginCaptures": {
+                "1": { "name": "keyword.other.lean4" }
+            },
+            "patterns": [
+                {
+                    "begin": "(\\{)",
+                    "end": "(\\})",
+                    "beginCaptures": { "1": { "name": "keyword.other.lean4" } },
+                    "endCaptures": { "1": { "name": "keyword.other.lean4" } },
+                    "patterns": [{ "include": "$self" }]
+                },
+                { "match": "\\\\[\\\\\"ntr']", "name": "constant.character.escape.lean4" },
+                { "match": "\\\\x[0-9A-Fa-f][0-9A-Fa-f]", "name": "constant.character.escape.lean4" },
+                {
+                    "match": "\\\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f]",
+                    "name": "constant.character.escape.lean4"
+                }
+            ]
+        },
+        {
+            "begin": "\"",
+            "end": "\"",
+            "name": "string.quoted.double.lean4",
+            "patterns": [
+                { "match": "\\\\[\\\\\"ntr']", "name": "constant.character.escape.lean4" },
+                { "match": "\\\\x[0-9A-Fa-f][0-9A-Fa-f]", "name": "constant.character.escape.lean4" },
+                {
+                    "match": "\\\\u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f]",
+                    "name": "constant.character.escape.lean4"
+                }
+            ]
+        },
+        { "name": "constant.language.lean4", "match": "\\b(true|false)\\b" },
+        { "name": "string.quoted.single.lean4", "match": "'[^\\\\']'" },
+        {
+            "name": "string.quoted.single.lean4",
+            "match": "'(\\\\(x[0-9A-Fa-f][0-9A-Fa-f]|u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f]|.))'",
+            "captures": { "1": { "name": "constant.character.escape.lean4" } }
+        },
+        { "match": "`+[^\\[(]\\S+", "name": "entity.name.lean4" },
+        {
+            "match": "\\b([0-9]+|0([xX][0-9a-fA-F]+)|[-]?(0|[1-9][0-9]*)(\\.[0-9]+)?([eE][+-]?[0-9]+)?)\\b",
+            "name": "constant.numeric.lean4"
+        }
+    ],
+    "repository": {
+        "definitionName": {
+            "patterns": [
+                {
+                    "match": "\\b[^:«»\\(\\)\\{\\}[:space:]=→λ∀?][^:«»\\(\\)\\{\\}[:space:]]*",
+                    "name": "entity.name.function.lean4"
+                },
+                { "begin": "«", "end": "»", "contentName": "entity.name.function.lean4" }
+            ]
+        },
+        "dashComment": {
+            "begin": "--",
+            "end": "$",
+            "name": "comment.line.double-dash.lean4",
+            "patterns": [{ "include": "source.lean4.markdown" }]
+        },
+        "docComment": {
+            "begin": "/--",
+            "end": "-/",
+            "name": "comment.block.documentation.lean4",
+            "patterns": [{ "include": "source.lean4.markdown" }, { "include": "#blockComment" }]
+        },
+        "modDocComment": {
+            "begin": "/-!",
+            "end": "-/",
+            "name": "comment.block.documentation.lean4",
+            "patterns": [{ "include": "source.lean4.markdown" }, { "include": "#blockComment" }]
+        },
+        "blockComment": {
+            "begin": "/-",
+            "end": "-/",
+            "name": "comment.block.lean4",
+            "patterns": [{ "include": "source.lean4.markdown" }, { "include": "#blockComment" }]
+        },
+        "comments": {
+            "patterns": [
+                { "include": "#dashComment" },
+                { "include": "#docComment" },
+                { "include": "#stringBlock" },
+                { "include": "#modDocComment" },
+                { "include": "#blockComment" }
+            ]
+        }
+    }
+}

package/dist/monaco-lean4/vscode-lean4/tsconfig.json

@@ -0,0 +1,18 @@
+{
+    "compilerOptions": {
+        "experimentalDecorators": true,
+        "resolveJsonModule": true,
+        "module": "commonjs",
+        "target": "es6",
+        "outDir": "out",
+        "lib": ["es6", "ES2021", "es2020.string"],
+        "sourceMap": true,
+        "alwaysStrict": true,
+        "rootDir": "./",
+        "noImplicitAny": true,
+        "strictNullChecks": true,
+        "esModuleInterop": true
+    },
+    "include": ["src/**/*", "test/suite/**/*"],
+    "exclude": ["node_modules", ".vscode-test"]
+}

package/dist/monaco-lean4/vscode-lean4/webview/tsconfig.json

@@ -0,0 +1,11 @@
+{
+    "extends": "../tsconfig",
+    "compilerOptions": {
+        "jsx": "react-jsx",
+        "strict": true,
+        "lib": ["dom", "es6"],
+        "rootDir": "../",
+        "sourceMap": true
+    },
+    "include": ["./**/*"]
+}

package/dist/monacoleanclient.d.ts

@@ -0,0 +1,4 @@
+import { WorkerConfigDirect, WebSocketConfigOptions, WebSocketConfigOptionsUrl, WorkerConfigOptions } from 'monaco-editor-wrapper';
+import { ExtUri } from './monaco-lean4/vscode-lean4/src/utils/exturi';
+import { LanguageClientOptions } from 'vscode-languageclient/node';
+export declare const setupMonacoClient: (options: WebSocketConfigOptions | WebSocketConfigOptionsUrl | WorkerConfigOptions | WorkerConfigDirect) => (clientOptions: LanguageClientOptions, folderUri: ExtUri, elanDefaultToolchain: string) => Promise<import("monaco-languageclient").MonacoLanguageClient>;

package/dist/monacoleanclient.js

@@ -0,0 +1,17 @@
+import { LanguageClientWrapper } from 'monaco-editor-wrapper';
+export const setupMonacoClient = (options) => {
+    return async (clientOptions, folderUri, elanDefaultToolchain) => {
+        const languageClientWrapper = new LanguageClientWrapper();
+        await languageClientWrapper.init({
+            languageClientConfig: {
+                languageId: 'lean4',
+                options,
+                clientOptions
+            }
+        });
+        await languageClientWrapper?.start();
+        const client = languageClientWrapper.getLanguageClient();
+        client._serverProcess = { stderr: { on: () => { } } };
+        return client;
+    };
+};

package/dist/preconditions.d.ts

@@ -0,0 +1,4 @@
+import { OutputChannel } from "vscode";
+import { ExtUri } from "./monaco-lean4/vscode-lean4/src/utils/exturi";
+import { PreconditionCheckResult } from "./monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs";
+export declare function checkLean4ProjectPreconditions(channel: OutputChannel, folderUri: ExtUri): Promise<PreconditionCheckResult>;

package/dist/preconditions.js

@@ -0,0 +1,3 @@
+export async function checkLean4ProjectPreconditions(channel, folderUri) {
+    return 'Fulfilled';
+}

package/dist/vscode.css

@@ -0,0 +1,408 @@
+/* From https://www.eliostruyf.com/code-driven-approach-theme-vscode-webview/, adapted */
+
+:root {
+    --vscode-font-weight:normal;
+    --vscode-font-size:13px;
+    --vscode-editor-font-family: 'JuliaMono', 'Source Code Pro', 'STIX Two Math', monospace;
+    --vscode-editor-font-weight:normal;
+    --vscode-editor-font-size:15px;
+    --vscode-foreground: #616161;
+    --vscode-errorForeground: #a1260d;
+    --vscode-descriptionForeground: #717171;
+    --vscode-icon-foreground: #424242;
+    --vscode-focusBorder: #0090f1;
+    --vscode-textSeparator-foreground: rgba(0, 0, 0, 0.18);
+    --vscode-textLink-foreground: #006ab1;
+    --vscode-textLink-activeForeground: #006ab1;
+    --vscode-textPreformat-foreground: #a31515;
+    --vscode-textBlockQuote-background: rgba(127, 127, 127, 0.1);
+    --vscode-textBlockQuote-border: rgba(0, 122, 204, 0.5);
+    --vscode-textCodeBlock-background: rgba(220, 220, 220, 0.4);
+    --vscode-widget-shadow: #a8a8a8;
+    --vscode-input-background: #ffffff;
+    --vscode-input-foreground: #616161;
+    --vscode-inputOption-activeBorder: rgba(0, 122, 204, 0);
+    --vscode-inputOption-activeBackground: rgba(0, 144, 241, 0.2);
+    --vscode-inputOption-activeForeground: #000000;
+    --vscode-input-placeholderForeground: #767676;
+    --vscode-inputValidation-infoBackground: #d6ecf2;
+    --vscode-inputValidation-infoBorder: #007acc;
+    --vscode-inputValidation-warningBackground: #f6f5d2;
+    --vscode-inputValidation-warningBorder:
+    --vscode-inputValidation-errorBackground: #f2dede;
+    --vscode-inputValidation-errorBorder: #be1100;
+    --vscode-dropdown-background: #ffffff;
+    --vscode-dropdown-foreground:
+    --vscode-dropdown-border: #cecece;
+    --vscode-checkbox-background: #ffffff;
+    --vscode-checkbox-border: #cecece;
+    /* --vscode-checkbox-foreground: */
+    --vscode-button-foreground: #ffffff;
+    --vscode-button-background: #007acc;
+    --vscode-button-hoverBackground: #0062a3;
+    --vscode-button-secondaryForeground: #ffffff;
+    --vscode-button-secondaryBackground: #5f6a79;
+    --vscode-button-secondaryHoverBackground: #4c5561;
+    --vscode-badge-background: #c4c4c4;
+    --vscode-badge-foreground: #333333;
+    --vscode-scrollbar-shadow: #dddddd;
+    --vscode-scrollbarSlider-background: rgba(100, 100, 100, 0.4);
+    --vscode-scrollbarSlider-hoverBackground: rgba(100, 100, 100, 0.7);
+    --vscode-scrollbarSlider-activeBackground: rgba(0, 0, 0, 0.6);
+    --vscode-progressBar-background: #0e70c0;
+    --vscode-editorError-foreground: #e51400;
+    --vscode-editorWarning-foreground: #e9a700;
+    --vscode-editorInfo-foreground: #75beff;
+    --vscode-editorHint-foreground: #6c6c6c;
+    --vscode-editor-background: #ffffff;
+    --vscode-editor-foreground: #000000;
+    --vscode-editorWidget-background: #f3f3f3;
+    --vscode-editorWidget-foreground: #616161;
+    --vscode-editorWidget-border: #c8c8c8;
+    --vscode-quickInput-background: #f3f3f3;
+    --vscode-quickInput-foreground: #616161;
+    --vscode-quickInputTitle-background: rgba(0, 0, 0, 0.06);
+    --vscode-pickerGroup-foreground: #0066bf;
+    --vscode-pickerGroup-border: #cccedb;
+    --vscode-editor-selectionBackground: #add6ff;
+    --vscode-editor-inactiveSelectionBackground: #e5ebf1;
+    --vscode-editor-selectionHighlightBackground: rgba(173, 214, 255, 0.5);
+    --vscode-editor-findMatchBackground: #a8ac94;
+    --vscode-editor-findMatchHighlightBackground: rgba(234, 92, 0, 0.33);
+    --vscode-editor-findRangeHighlightBackground: rgba(180, 180, 180, 0.3);
+    --vscode-searchEditor-findMatchBackground: rgba(234, 92, 0, 0.22);
+    --vscode-editor-hoverHighlightBackground: rgba(173, 214, 255, 0.15);
+    --vscode-editorHoverWidget-background: #f3f3f3;
+    --vscode-editorHoverWidget-foreground: #616161;
+    --vscode-editorHoverWidget-border: #c8c8c8;
+    --vscode-editorHoverWidget-statusBarBackground: #e7e7e7;
+    --vscode-editorLink-activeForeground: #0000ff;
+    --vscode-editorLightBulb-foreground: #ddb100;
+    --vscode-editorLightBulbAutoFix-foreground: #007acc;
+    --vscode-diffEditor-insertedTextBackground: rgba(155, 185, 85, 0.2);
+    --vscode-diffEditor-removedTextBackground: rgba(255, 0, 0, 0.2);
+    --vscode-diffEditor-diagonalFill: rgba(34, 34, 34, 0.2);
+    --vscode-list-focusBackground: (NO LONGER AVAILABLE)
+    --vscode-list-activeSelectionBackground: #0074e8;
+    --vscode-list-activeSelectionForeground: #ffffff;
+    --vscode-list-inactiveSelectionBackground: #e4e6f1;
+    --vscode-list-hoverBackground: #e8e8e8;
+    --vscode-list-dropBackground: #d6ebff;
+    --vscode-list-highlightForeground: #0066bf;
+    --vscode-list-invalidItemForeground: #b89500;
+    --vscode-list-errorForeground: #b01011;
+    --vscode-list-warningForeground: #855f00;
+    --vscode-listFilterWidget-background: #efc1ad;
+    --vscode-listFilterWidget-outline: rgba(0, 0, 0, 0);
+    --vscode-listFilterWidget-noMatchesOutline: #be1100;
+    --vscode-list-filterMatchBackground: rgba(234, 92, 0, 0.33);
+    --vscode-tree-indentGuidesStroke: #a9a9a9;
+    --vscode-list-deemphasizedForeground: #8e8e90;
+    --vscode-menu-foreground: #616161;
+    --vscode-menu-background: #ffffff;
+    --vscode-menu-selectionForeground: #ffffff;
+    --vscode-menu-selectionBackground: #0074e8;
+    --vscode-menu-separatorBackground: #888888;
+    --vscode-editor-snippetTabstopHighlightBackground: rgba(10, 50, 100, 0.2);
+    --vscode-editor-snippetFinalTabstopHighlightBorder: rgba(10, 50, 100, 0.5);
+    --vscode-breadcrumb-foreground: rgba(97, 97, 97, 0.8);
+    --vscode-breadcrumb-background: #ffffff;
+    --vscode-breadcrumb-focusForeground: #4e4e4e;
+    --vscode-breadcrumb-activeSelectionForeground: #4e4e4e;
+    --vscode-breadcrumbPicker-background: #f3f3f3;
+    --vscode-merge-currentHeaderBackground: rgba(64, 200, 174, 0.5);
+    --vscode-merge-currentContentBackground: rgba(64, 200, 174, 0.2);
+    --vscode-merge-incomingHeaderBackground: rgba(64, 166, 255, 0.5);
+    --vscode-merge-incomingContentBackground: rgba(64, 166, 255, 0.2);
+    --vscode-merge-commonHeaderBackground: rgba(96, 96, 96, 0.4);
+    --vscode-merge-commonContentBackground: rgba(96, 96, 96, 0.16);
+    --vscode-editorOverviewRuler-currentContentForeground: rgba(64, 200, 174, 0.5);
+    --vscode-editorOverviewRuler-incomingContentForeground: rgba(64, 166, 255, 0.5);
+    --vscode-editorOverviewRuler-commonContentForeground: rgba(96, 96, 96, 0.4);
+    --vscode-editorOverviewRuler-findMatchForeground: rgba(209, 134, 22, 0.49);
+    --vscode-editorOverviewRuler-selectionHighlightForeground: rgba(160, 160, 160, 0.8);
+    --vscode-minimap-findMatchHighlight: #d18616;
+    --vscode-minimap-selectionHighlight: #add6ff;
+    --vscode-minimap-errorHighlight: rgba(255, 18, 18, 0.7);
+    --vscode-minimap-warningHighlight: #e9a700;
+    --vscode-minimapSlider-background: rgba(100, 100, 100, 0.2);
+    --vscode-minimapSlider-hoverBackground: rgba(100, 100, 100, 0.35);
+    --vscode-minimapSlider-activeBackground: rgba(0, 0, 0, 0.3);
+    --vscode-problemsErrorIcon-foreground: #e51400;
+    --vscode-problemsWarningIcon-foreground: #e9a700;
+    --vscode-problemsInfoIcon-foreground: #75beff;
+    --vscode-charts-foreground: #616161;
+    --vscode-charts-lines: rgba(97, 97, 97, 0.5);
+    --vscode-charts-red: #e51400;
+    --vscode-charts-blue: #75beff;
+    --vscode-charts-yellow: #e9a700;
+    --vscode-charts-orange: #d18616;
+    --vscode-charts-green: #388a34;
+    --vscode-charts-purple: #652d90;
+    --vscode-editor-lineHighlightBorder: #eeeeee;
+    --vscode-editor-rangeHighlightBackground: rgba(253, 255, 0, 0.2);
+    --vscode-editor-symbolHighlightBackground: rgba(234, 92, 0, 0.33);
+    --vscode-editorCursor-foreground: #000000;
+    --vscode-editorWhitespace-foreground: rgba(51, 51, 51, 0.2);
+    --vscode-editorIndentGuide-background: #d3d3d3;
+    --vscode-editorIndentGuide-activeBackground: #939393;
+    --vscode-editorLineNumber-foreground: #237893;
+    --vscode-editorActiveLineNumber-foreground: #0b216f;
+    --vscode-editorLineNumber-activeForeground: #0b216f;
+    --vscode-editorRuler-foreground: #d3d3d3;
+    --vscode-editorCodeLens-foreground: #999999;
+    --vscode-editorBracketMatch-background: rgba(0, 100, 0, 0.1);
+    --vscode-editorBracketMatch-border: #b9b9b9;
+    --vscode-editorOverviewRuler-border: rgba(127, 127, 127, 0.3);
+    --vscode-editorGutter-background: #ffffff;
+    --vscode-editorUnnecessaryCode-opacity: rgba(0, 0, 0, 0.47);
+    --vscode-editorOverviewRuler-rangeHighlightForeground: rgba(0, 122, 204, 0.6);
+    --vscode-editorOverviewRuler-errorForeground: rgba(255, 18, 18, 0.7);
+    --vscode-editorOverviewRuler-warningForeground: #e9a700;
+    --vscode-editorOverviewRuler-infoForeground: #75beff;
+    --vscode-editorOverviewRuler-bracketMatchForeground: #a0a0a0;
+    --vscode-symbolIcon-arrayForeground: #616161;
+    --vscode-symbolIcon-booleanForeground: #616161;
+    --vscode-symbolIcon-classForeground: #d67e00;
+    --vscode-symbolIcon-colorForeground: #616161;
+    --vscode-symbolIcon-constantForeground: #616161;
+    --vscode-symbolIcon-constructorForeground: #652d90;
+    --vscode-symbolIcon-enumeratorForeground: #d67e00;
+    --vscode-symbolIcon-enumeratorMemberForeground: #007acc;
+    --vscode-symbolIcon-eventForeground: #d67e00;
+    --vscode-symbolIcon-fieldForeground: #007acc;
+    --vscode-symbolIcon-fileForeground: #616161;
+    --vscode-symbolIcon-folderForeground: #616161;
+    --vscode-symbolIcon-functionForeground: #652d90;
+    --vscode-symbolIcon-interfaceForeground: #007acc;
+    --vscode-symbolIcon-keyForeground: #616161;
+    --vscode-symbolIcon-keywordForeground: #616161;
+    --vscode-symbolIcon-methodForeground: #652d90;
+    --vscode-symbolIcon-moduleForeground: #616161;
+    --vscode-symbolIcon-numberForeground: #616161;
+    --vscode-symbolIcon-objectForeground: #616161;
+    --vscode-symbolIcon-operatorForeground: #616161;
+    --vscode-symbolIcon-packageForeground: #616161;
+    --vscode-symbolIcon-propertyForeground: #616161;
+    --vscode-symbolIcon-referenceForeground: #616161;
+    --vscode-symbolIcon-snippetForeground: #616161;
+    --vscode-symbolIcon-stringForeground: #616161;
+    --vscode-symbolIcon-structForeground: #616161;
+    --vscode-symbolIcon-textForeground: #616161;
+    --vscode-symbolIcon-typeParameterForeground: #616161;
+    --vscode-symbolIcon-unitForeground: #616161;
+    --vscode-symbolIcon-variableForeground: #007acc;
+    --vscode-editor-foldBackground: rgba(173, 214, 255, 0.3);
+    --vscode-editorGutter-foldingControlForeground: #424242;
+    --vscode-editor-onTypeRenameBackground: rgba(255, 0, 0, 0.3);
+    --vscode-editor-wordHighlightBackground: rgba(87, 87, 87, 0.25);
+    --vscode-editor-wordHighlightStrongBackground: rgba(14, 99, 156, 0.25);
+    --vscode-editorOverviewRuler-wordHighlightForeground: rgba(160, 160, 160, 0.8);
+    --vscode-editorOverviewRuler-wordHighlightStrongForeground: rgba(192, 160, 192, 0.8);
+    --vscode-peekViewTitle-background: #ffffff;
+    --vscode-peekViewTitleLabel-foreground: #333333;
+    --vscode-peekViewTitleDescription-foreground: rgba(97, 97, 97, 0.9);
+    --vscode-peekView-border: #007acc;
+    --vscode-peekViewResult-background: #f3f3f3;
+    --vscode-peekViewResult-lineForeground: #646465;
+    --vscode-peekViewResult-fileForeground: #1e1e1e;
+    --vscode-peekViewResult-selectionBackground: rgba(51, 153, 255, 0.2);
+    --vscode-peekViewResult-selectionForeground: #6c6c6c;
+    --vscode-peekViewEditor-background: #f2f8fc;
+    --vscode-peekViewEditorGutter-background: #f2f8fc;
+    --vscode-peekViewResult-matchHighlightBackground: rgba(234, 92, 0, 0.3);
+    --vscode-peekViewEditor-matchHighlightBackground: rgba(245, 216, 2, 0.87);
+    --vscode-editorSuggestWidget-background: #f3f3f3;
+    --vscode-editorSuggestWidget-border: #c8c8c8;
+    --vscode-editorSuggestWidget-foreground: #000000;
+    --vscode-editorSuggestWidget-selectedBackground: #d6ebff;
+    --vscode-editorSuggestWidget-highlightForeground: #0066bf;
+    --vscode-editorMarkerNavigationError-background: #e51400;
+    --vscode-editorMarkerNavigationWarning-background: #e9a700;
+    --vscode-editorMarkerNavigationInfo-background: #75beff;
+    --vscode-editorMarkerNavigation-background: #ffffff;
+    --vscode-tab-activeBackground: #ffffff;
+    --vscode-tab-unfocusedActiveBackground: #ffffff;
+    --vscode-tab-inactiveBackground: #ececec;
+    --vscode-tab-unfocusedInactiveBackground: #ececec;
+    --vscode-tab-activeForeground: #333333;
+    --vscode-tab-inactiveForeground: rgba(51, 51, 51, 0.7);
+    --vscode-tab-unfocusedActiveForeground: rgba(51, 51, 51, 0.7);
+    --vscode-tab-unfocusedInactiveForeground: rgba(51, 51, 51, 0.35);
+    --vscode-tab-border: #f3f3f3;
+    --vscode-tab-lastPinnedBorder: rgba(97, 97, 97, 0.19);
+    --vscode-tab-activeModifiedBorder: #33aaee;
+    --vscode-tab-inactiveModifiedBorder: rgba(51, 170, 238, 0.5);
+    --vscode-tab-unfocusedActiveModifiedBorder: rgba(51, 170, 238, 0.7);
+    --vscode-tab-unfocusedInactiveModifiedBorder: rgba(51, 170, 238, 0.25);
+    --vscode-editorPane-background: #ffffff;
+    --vscode-editorGroupHeader-tabsBackground: #f3f3f3;
+    --vscode-editorGroupHeader-noTabsBackground: #ffffff;
+    --vscode-editorGroup-border: #e7e7e7;
+    --vscode-editorGroup-dropBackground: rgba(38, 119, 203, 0.18);
+    --vscode-imagePreview-border: rgba(128, 128, 128, 0.35);
+    --vscode-panel-background: #ffffff;
+    --vscode-panel-border: rgba(128, 128, 128, 0.35);
+    --vscode-panelTitle-activeForeground: #424242;
+    --vscode-panelTitle-inactiveForeground: rgba(66, 66, 66, 0.75);
+    --vscode-panelTitle-activeBorder: #424242;
+    --vscode-panelInput-border: #dddddd;
+    --vscode-panel-dropBorder: #424242;
+    --vscode-panelSection-dropBackground: rgba(38, 119, 203, 0.18);
+    --vscode-panelSectionHeader-background: rgba(128, 128, 128, 0.2);
+    --vscode-panelSection-border: rgba(128, 128, 128, 0.35);
+    --vscode-statusBar-foreground: #ffffff;
+    --vscode-statusBar-noFolderForeground: #ffffff;
+    --vscode-statusBar-background: #007acc;
+    --vscode-statusBar-noFolderBackground: #68217a;
+    --vscode-statusBarItem-activeBackground: rgba(255, 255, 255, 0.18);
+    --vscode-statusBarItem-hoverBackground: rgba(255, 255, 255, 0.12);
+    --vscode-statusBarItem-prominentForeground: #ffffff;
+    --vscode-statusBarItem-prominentBackground: rgba(0, 0, 0, 0.5);
+    --vscode-statusBarItem-prominentHoverBackground: rgba(0, 0, 0, 0.3);
+    --vscode-activityBar-background: #2c2c2c;
+    --vscode-activityBar-foreground: #ffffff;
+    --vscode-activityBar-inactiveForeground: rgba(255, 255, 255, 0.4);
+    --vscode-activityBar-activeBorder: #ffffff;
+    --vscode-activityBar-dropBorder: #ffffff;
+    --vscode-activityBarBadge-background: #007acc;
+    --vscode-activityBarBadge-foreground: #ffffff;
+    --vscode-statusBarItem-remoteBackground: #16825d;
+    --vscode-statusBarItem-remoteForeground: #ffffff;
+    --vscode-extensionBadge-remoteBackground: #007acc;
+    --vscode-extensionBadge-remoteForeground: #ffffff;
+    --vscode-sideBar-background: #f3f3f3;
+    --vscode-sideBarTitle-foreground: #6f6f6f;
+    --vscode-sideBar-dropBackground: rgba(38, 119, 203, 0.18);
+    --vscode-sideBarSectionHeader-background: rgba(0, 0, 0, 0);
+    --vscode-sideBarSectionHeader-border: rgba(97, 97, 97, 0.19);
+    --vscode-titleBar-activeForeground: #333333;
+    --vscode-titleBar-inactiveForeground: rgba(51, 51, 51, 0.6);
+    --vscode-titleBar-activeBackground: #dddddd;
+    --vscode-titleBar-inactiveBackground: rgba(221, 221, 221, 0.6);
+    --vscode-menubar-selectionForeground: #333333;
+    --vscode-menubar-selectionBackground: rgba(0, 0, 0, 0.1);
+    --vscode-notifications-foreground: #616161;
+    --vscode-notifications-background: #f3f3f3;
+    --vscode-notificationLink-foreground: #006ab1;
+    --vscode-notificationCenterHeader-background: #e7e7e7;
+    --vscode-notifications-border: #e7e7e7;
+    --vscode-notificationsErrorIcon-foreground: #e51400;
+    --vscode-notificationsWarningIcon-foreground: #e9a700;
+    --vscode-notificationsInfoIcon-foreground: #75beff;
+    --vscode-editorGutter-commentRangeForeground: #c5c5c5;
+    --vscode-terminal-foreground: #333333;
+    --vscode-terminal-selectionBackground: rgba(0, 0, 0, 0.25);
+    --vscode-terminal-border: rgba(128, 128, 128, 0.35);
+    --vscode-statusBar-debuggingBackground: #cc6633;
+    --vscode-statusBar-debuggingForeground: #ffffff;
+    --vscode-settings-headerForeground: #444444;
+    --vscode-settings-modifiedItemIndicator: #66afe0;
+    --vscode-settings-dropdownBackground: #ffffff;
+    --vscode-settings-dropdownForeground:
+    --vscode-settings-dropdownBorder: #cecece;
+    --vscode-settings-dropdownListBorder: #c8c8c8;
+    --vscode-settings-checkboxBackground: #ffffff;
+    --vscode-settings-checkboxForeground:
+    --vscode-settings-checkboxBorder: #cecece;
+    --vscode-settings-textInputBackground: #ffffff;
+    --vscode-settings-textInputForeground: #616161;
+    --vscode-settings-textInputBorder: #cecece;
+    --vscode-settings-numberInputBackground: #ffffff;
+    --vscode-settings-numberInputForeground: #616161;
+    --vscode-settings-numberInputBorder: #cecece;
+    --vscode-settings-focusedRowBackground: rgba(214, 235, 255, 0.4);
+    --vscode-notebook-rowHoverBackground: rgba(214, 235, 255, 0.28);
+    --vscode-notebook-focusedRowBorder: rgba(0, 0, 0, 0.12);
+    --vscode-debugExceptionWidget-border: #a31515;
+    --vscode-debugExceptionWidget-background: #f1dfde;
+    --vscode-editorGutter-modifiedBackground: #66afe0;
+    --vscode-editorGutter-addedBackground: #81b88b;
+    --vscode-editorGutter-deletedBackground: #ca4b51;
+    --vscode-minimapGutter-modifiedBackground: #66afe0;
+    --vscode-minimapGutter-addedBackground: #81b88b;
+    --vscode-minimapGutter-deletedBackground: #ca4b51;
+    --vscode-editorOverviewRuler-modifiedForeground: rgba(102, 175, 224, 0.6);
+    --vscode-editorOverviewRuler-addedForeground: rgba(129, 184, 139, 0.6);
+    --vscode-editorOverviewRuler-deletedForeground: rgba(202, 75, 81, 0.6);
+    --vscode-editor-stackFrameHighlightBackground: rgba(255, 255, 102, 0.45);
+    --vscode-editor-focusedStackFrameHighlightBackground: rgba(206, 231, 206, 0.45);
+    --vscode-searchEditor-textInputBorder: #cecece;
+    --vscode-debugIcon-breakpointForeground: #e51400;
+    --vscode-debugIcon-breakpointDisabledForeground: #848484;
+    --vscode-debugIcon-breakpointUnverifiedForeground: #848484;
+    --vscode-debugIcon-breakpointCurrentStackframeForeground: #ffcc00;
+    --vscode-debugIcon-breakpointStackframeForeground: #89d185;
+    --vscode-debugToolBar-background: #f3f3f3;
+    --vscode-debugIcon-startForeground: #388a34;
+    --vscode-debugIcon-pauseForeground: #007acc;
+    --vscode-debugIcon-stopForeground: #a1260d;
+    --vscode-debugIcon-disconnectForeground: #a1260d;
+    --vscode-debugIcon-restartForeground: #388a34;
+    --vscode-debugIcon-stepOverForeground: #007acc;
+    --vscode-debugIcon-stepIntoForeground: #007acc;
+    --vscode-debugIcon-stepOutForeground: #007acc;
+    --vscode-debugIcon-continueForeground: #007acc;
+    --vscode-debugIcon-stepBackForeground: #007acc;
+    --vscode-debugTokenExpression-name: #9b46b0;
+    --vscode-debugTokenExpression-value: rgba(108, 108, 108, 0.8);
+    --vscode-debugTokenExpression-string: #a31515;
+    --vscode-debugTokenExpression-boolean: #0000ff;
+    --vscode-debugTokenExpression-number: #098658;
+    --vscode-debugTokenExpression-error: #e51400;
+    --vscode-debugView-exceptionLabelForeground: #ffffff;
+    --vscode-debugView-exceptionLabelBackground: #a31515;
+    --vscode-debugView-stateLabelForeground: #616161;
+    --vscode-debugView-stateLabelBackground: rgba(136, 136, 136, 0.27);
+    --vscode-debugView-valueChangedHighlight: #569cd6;
+    --vscode-debugConsole-infoForeground: #75beff;
+    --vscode-debugConsole-warningForeground: #e9a700;
+    --vscode-debugConsole-errorForeground: #a1260d;
+    --vscode-debugConsole-sourceForeground: #616161;
+    --vscode-debugConsoleInputIcon-foreground: #616161;
+    --vscode-extensionButton-prominentBackground: #327e36;
+    --vscode-extensionButton-prominentForeground: #ffffff;
+    --vscode-extensionButton-prominentHoverBackground: #28632b;
+    --vscode-notebook-cellBorderColor: #dae3e9;
+    --vscode-notebook-focusedEditorBorder: #0090f1;
+    --vscode-notebookStatusSuccessIcon-foreground: #388a34;
+    --vscode-notebookStatusErrorIcon-foreground: #a1260d;
+    --vscode-notebookStatusRunningIcon-foreground: #616161;
+    --vscode-notebook-outputContainerBackgroundColor: rgba(200, 221, 241, 0.31);
+    --vscode-notebook-cellToolbarSeparator: rgba(128, 128, 128, 0.35);
+    --vscode-notebook-focusedCellBackground: rgba(200, 221, 241, 0.31);
+    --vscode-notebook-cellHoverBackground: rgba(200, 221, 241, 0.22);
+    --vscode-notebook-focusedCellBorder: rgba(0, 0, 0, 0.12);
+    --vscode-notebook-cellStatusBarItemHoverBackground: rgba(0, 0, 0, 0.08);
+    --vscode-notebook-cellInsertionIndicator: #0090f1;
+    --vscode-notebookScrollbarSlider-background: rgba(100, 100, 100, 0.4);
+    --vscode-notebookScrollbarSlider-hoverBackground: rgba(100, 100, 100, 0.7);
+    --vscode-notebookScrollbarSlider-activeBackground: rgba(0, 0, 0, 0.6);
+    --vscode-notebook-symbolHighlightBackground: rgba(253, 255, 0, 0.2);
+    --vscode-scm-providerBorder: #c8c8c8;
+    --vscode-terminal-ansiBlack: #000000;
+    --vscode-terminal-ansiRed: #cd3131;
+    --vscode-terminal-ansiGreen: #00bc00;
+    --vscode-terminal-ansiYellow: #949800;
+    --vscode-terminal-ansiBlue: #0451a5;
+    --vscode-terminal-ansiMagenta: #bc05bc;
+    --vscode-terminal-ansiCyan: #0598bc;
+    --vscode-terminal-ansiWhite: #555555;
+    --vscode-terminal-ansiBrightBlack: #666666;
+    --vscode-terminal-ansiBrightRed: #cd3131;
+    --vscode-terminal-ansiBrightGreen: #14ce14;
+    --vscode-terminal-ansiBrightYellow: #b5ba00;
+    --vscode-terminal-ansiBrightBlue: #0451a5;
+    --vscode-terminal-ansiBrightMagenta: #bc05bc;
+    --vscode-terminal-ansiBrightCyan: #0598bc;
+    --vscode-terminal-ansiBrightWhite: #a5a5a5;
+    --vscode-gitDecoration-addedResourceForeground: #587c0c;
+    --vscode-gitDecoration-modifiedResourceForeground: #895503;
+    --vscode-gitDecoration-deletedResourceForeground: #ad0707;
+    --vscode-gitDecoration-untrackedResourceForeground: #007100;
+    --vscode-gitDecoration-ignoredResourceForeground: #8e8e90;
+    --vscode-gitDecoration-stageModifiedResourceForeground: #895503;
+    --vscode-gitDecoration-stageDeletedResourceForeground: #ad0707;
+    --vscode-gitDecoration-conflictingResourceForeground: #6c6cc4;
+    --vscode-gitDecoration-submoduleResourceForeground: #1258a7;
+  }

package/dist/webview.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/webview.js

@@ -0,0 +1,9 @@
+import { renderInfoview } from '@leanprover/infoview';
+import { Rpc } from './monaco-lean4/vscode-lean4/src/rpc';
+const vscodeApi = window.parent; // acquireVsCodeApi()
+const rpc = new Rpc((m) => vscodeApi.postMessage(JSON.stringify(m)));
+window.addEventListener('message', e => rpc.messageReceived(JSON.parse(e.data)));
+const editorApi = rpc.getApi();
+const div = document.querySelector('#react_root');
+const api = renderInfoview(editorApi, div);
+rpc.register(api);

package/package.json

@@ -0,0 +1,45 @@
+{
+  "name": "lean4monaco",
+  "version": "1.0.0",
+  "type": "module",
+  "main": "dist/index.js",
+  "files": ["dist"],
+  "scripts": {
+    "postinstall": "cd server && npm install",
+    "start_client": "vite serve dev",
+    "build_server": "cd server/LeanProject && lake build",
+    "start_server": "cd server && npm start",
+    "start": "concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"",
+    "build": "tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/",
+    "test": "concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
+  },
+  "devDependencies": {
+    "@chialab/esbuild-plugin-meta-url": "^0.18.2",
+    "@codingame/esbuild-import-meta-url-plugin": "https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e",
+    "@types/node": "^20.14.2",
+    "@types/semver": "^7.5.8",
+    "@types/vscode": "^1.89.0",
+    "copyfiles": "^2.4.1",
+    "cypress": "^13.13.0",
+    "cypress-iframe": "^1.0.1",
+    "typescript": "^5.4.5",
+    "vite": "^5.2.0",
+    "vite-plugin-node-polyfills": "^0.22.0",
+    "wait-on": "^7.2.0"
+  },
+  "dependencies": {
+    "@codingame/monaco-vscode-views-service-override": "^6.0.1",
+    "@leanprover/infoview": "^0.7.0",
+    "@leanprover/infoview-api": "^0.4.0",
+    "@leanprover/unicode-input": "^0.1.0",
+    "axios": "^1.7.2",
+    "cheerio": "^1.0.0-rc.12",
+    "concurrently": "^8.2.2",
+    "memfs": "^4.9.3",
+    "mobx": "5.15.7",
+    "monaco-editor-wrapper": "^5.3.1",
+    "react-dom": "^18.3.1",
+    "semver": "^7.6.2",
+    "zod": "^3.23.8"
+  }
+}