{"_id":"lean4monaco","_rev":"63-959f62468c6b1068464679b3f6a5838c","name":"lean4monaco","dist-tags":{"latest":"1.1.16"},"versions":{"1.0.0":{"name":"lean4monaco","version":"1.0.0","_id":"lean4monaco@1.0.0","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"58215a274dd4ae0abc5d89c9edb2b682481de214","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.0.tgz","fileCount":87,"integrity":"sha512-CqYo0hxP8fRUVotRR8hH2P4r3+ZR5Wf1KKZe+YQypZ3Rw2U+6X3JXrTMXLDxylE9Xz2jSj5Idvojb6xhaDSGLQ==","signatures":[{"sig":"MEYCIQCLAlOVDVkXoDQOnbr687pb2yMZpk1Ma78ZXlFkkwLGwQIhANpvDeuUpCPAm84yT0iPVIfJko1eLBy2mf1u+3mqBcWb","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1014410},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"806faf0ef737bcdbb1d53949c0d72c1421bbf228","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"cd server && npm install","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0","@codingame/monaco-vscode-views-service-override":"^6.0.1"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.0_1720963545125_0.9881846430596908","host":"s3://npm-registry-packages"}},"1.0.1":{"name":"lean4monaco","version":"1.0.1","_id":"lean4monaco@1.0.1","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"d1bdff24f105cdd618b73e6f679b255a78924c68","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.1.tgz","fileCount":87,"integrity":"sha512-ZowRuEfaxdE3MuMRnTlc/ErTMfMgjTrim5BS4tLdcTRPp86mOgpy52anv3FhZf5zlSrKb7hKkfKuOtfTxmGCEg==","signatures":[{"sig":"MEQCIDBDe8k6eAs6xBdjKfGf961sBv6xd5TicTZkaQ8/dJVVAiBzlMfU9pyZum0rFUFmVKiBb7OwZQml6Liojtugo62TvA==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1014441},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"70f54a81dcf7c98f82b5a873d17f8a2b3350664d","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0","@codingame/monaco-vscode-views-service-override":"^6.0.1"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.1_1720963914888_0.5635625127463069","host":"s3://npm-registry-packages"}},"1.0.2":{"name":"lean4monaco","version":"1.0.2","_id":"lean4monaco@1.0.2","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"5988f62f2d3635a4170356cc04ca26ae57e15f52","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.2.tgz","fileCount":87,"integrity":"sha512-qFwQQ1/s8YiONMRXfzjtNTuoX5YTW3kE1DvHlTGqMNxf+LJreadbbfsv25p+N3mW2XqI/wWovos5tbka5KQU9Q==","signatures":[{"sig":"MEUCIHqElpt37k7XbxOZEV+eZIsjnsNL+hsnNeArDN1I93INAiEAj+0S9MWySFJxm+OlEAcUUe37xXSsC1i+PYS4kbqO4EY=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1014441},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"a53aafaf5ba0e7ce80f02c06931b868ce30040e6","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0","@codingame/monaco-vscode-views-service-override":"^6.0.1"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.2_1720964965204_0.57378006052124","host":"s3://npm-registry-packages"}},"1.0.3":{"name":"lean4monaco","version":"1.0.3","_id":"lean4monaco@1.0.3","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"bba41c91af7b358c649a83f3f119b1d02b13549e","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.3.tgz","fileCount":87,"integrity":"sha512-IMjQzcmD6DMu5jj0qqLMG6FoOGO2clJk64WbHQ3v7muw/3RSORhQEJra2U0kz5qe3bZF5/uVHGA4zTBnuUCdHA==","signatures":[{"sig":"MEUCIQDJmJNOhGT28SvSI+PLxbQWP0IntwZChVt42ONWmNxHxwIgIzftk16U2l/Ti4U2CLUP3ZoeWB7EOznw0OKqPov0v+I=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1014348},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"a53aafaf5ba0e7ce80f02c06931b868ce30040e6","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"=0.4.0","@leanprover/unicode-input":"=0.1.0","@codingame/monaco-vscode-views-service-override":"^6.0.1"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.3_1720977672272_0.6312440672826485","host":"s3://npm-registry-packages"}},"1.0.4":{"name":"lean4monaco","version":"1.0.4","_id":"lean4monaco@1.0.4","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"06d299810fdcc6386f9c5fdaf8e355eaf61b3c3f","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.4.tgz","fileCount":125,"integrity":"sha512-2RvphOUHh0e8scny57l1wAFQTG9eRjpXeqqD35da8pjo6xamV/vaPHYU+VJFWAix6p+hdxEHHQqcDm37tWp9hw==","signatures":[{"sig":"MEUCIQCydTzXyBu/mnlHKkNLBK9Z5tuXjWSoFTPr0BUAXHPQAQIgThtEB76KWMhHT0YcGcBth3OcrWyWNXtX8FNOi8F1D5M=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1147934},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"a53aafaf5ba0e7ce80f02c06931b868ce30040e6","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"=0.4.0","@leanprover/unicode-input":"=0.1.0","@codingame/monaco-vscode-views-service-override":"^6.0.1"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.4_1720988139582_0.11138274592322484","host":"s3://npm-registry-packages"}},"1.0.5":{"name":"lean4monaco","version":"1.0.5","_id":"lean4monaco@1.0.5","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"6914d0bbbda0b7bdde98d60ed00238e07de0713b","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.5.tgz","fileCount":125,"integrity":"sha512-z9GIaFbjnGFSliEM47xliwr3GRhXHl4glmTeVHEfZTpAooXJZ9G6W9v7VyVZcwUPe4ivMRpAAYbNyfJS2G64QA==","signatures":[{"sig":"MEUCIAG0tP6mwh3KfAY/UGwDrahCkSDWoKY8KM2BwzhDpPwIAiEAz9d9Ge7Z5Uq39thqAOkWdx3YoiKecei104VzmBgYC8k=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1148538},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"934fb3a1dd6d63cdb80d5797df514d80d6a23516","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0","@codingame/monaco-vscode-views-service-override":"^6.0.1"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.5_1721126912862_0.4724715671090731","host":"s3://npm-registry-packages"}},"1.0.6":{"name":"lean4monaco","version":"1.0.6","_id":"lean4monaco@1.0.6","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"bffc8aa5f1d380a886efba7574422fced68bf7b1","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.6.tgz","fileCount":125,"integrity":"sha512-tWn86v3gl8zoo3kqZUEnJpabK+1ddKI+/6y5KZY99MmN5W//IXJMemQ3pqd+/c0x9oLdxABBtTiL7B84H+3HDw==","signatures":[{"sig":"MEUCIHnuu8wTZV45wNQdS8x6V5DRJCb1bJBhg0lYplUBd+hKAiEAy5bIIXK30gj67QezNU/bW1jHr+lVaXyNMq4XSfEGZ2U=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1148473},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"4d8363b7542e32354e03346f2323cccb08d6a497","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.6_1721158189029_0.4984246545030855","host":"s3://npm-registry-packages"}},"1.0.7":{"name":"lean4monaco","version":"1.0.7","_id":"lean4monaco@1.0.7","maintainers":[{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"fc3060cad1753ce04aec6a01d462ae2992d14a85","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.7.tgz","fileCount":126,"integrity":"sha512-TBfntlG2VvXukOMjGqs7l9q2MZfVI40HgMX2z2CnAm0z7+6peKKJIhUHf55+QuVytCkDRJvjCgC1u40yxN6mVg==","signatures":[{"sig":"MEUCIQDBVhrlsUwyyqXlJo5tcefArNc691T9BNOfCVvmJtF36wIgC3/D+aT/JLyOTfBddNzLqiaAwrpNaS/0YMACleqWmpw=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4297670},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"35524e37a2f997c45c10e0500926f90926a71f0d","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"_npmVersion":"10.7.0","description":"## Usage","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-static-copy":"^1.0.6","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.7_1721300584079_0.26308372305655214","host":"s3://npm-registry-packages"}},"1.0.8":{"name":"lean4monaco","version":"1.0.8","_id":"lean4monaco@1.0.8","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"6e691fcab2f714255f679de81d5d8f9ccad8ed3c","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.8.tgz","fileCount":87,"integrity":"sha512-rVbSaExB+Pz6AUbIs92MxOhFWGohFjnD6OFYeEam7HDwMENOz8hSD/rBYWyM/Durgb0JftMqmcegPr7jZYmoVQ==","signatures":[{"sig":"MEUCIDx02hZnWei9tB1OEruz+EdK2HZHHDk7bBycnE4WkDspAiEAlVnX4oP2QefwarO/AyZpGt6VlXJ0/tqCsQTrtd3PK1E=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4191339},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"b52f7effba64e53d2b5686d83daee92555ce90a6","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"_npmVersion":"10.2.4","description":"## Usage","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-static-copy":"^1.0.6","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.8_1721816367343_0.9196904255892269","host":"s3://npm-registry-packages"}},"1.0.9":{"name":"lean4monaco","version":"1.0.9","_id":"lean4monaco@1.0.9","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"dist":{"shasum":"e652cfb7e3a21c66b3c99240208b57d928f155c3","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.9.tgz","fileCount":155,"integrity":"sha512-P7GghzUmCjdX3aQlDjFfAwUE2yjcWbA0HPbPE+GklvZbSmEE3VzJSPs1GqXMnJt0RnQa3Q35QrAcMnwnVhkdiA==","signatures":[{"sig":"MEQCIBE8mwf2qVxJqucaUEB6BNoElRBBWeeOhO0jCAo4zm8QAiAokQuf/3YRK2Qwu9unxeY750kVC1yV0aak+fvTwi4XnQ==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":5162993},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"77b2a7e6838e3bb74ed80f94c513f23471ced180","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"_npmVersion":"10.2.4","description":"## Usage","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-static-copy":"^1.0.6","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.9_1722258301290_0.5166944816432077","host":"s3://npm-registry-packages"}},"1.0.10":{"name":"lean4monaco","version":"1.0.10","_id":"lean4monaco@1.0.10","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"homepage":"https://github.com/hhu-adam/lean4monaco#readme","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"dd721bff6ecd9bae0265d32da36636874583c8db","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.10.tgz","fileCount":155,"integrity":"sha512-u3iIrBe15pznMYxao16EAJmOBQpy8bksmHg4gpzFoc6L28lEUH4QNs8vZpCJY7oqBZOqD7J6rCKzUSFPrlGm4g==","signatures":[{"sig":"MEUCIQDVxN/gIL3P0sk/JKYBtBWNaq7WUap89ENy6Jdiy/hXRAIgLtDgf0tmNpEkcHVAOF8qmrTACttY3+MHfYOXYi7FBGw=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":5163356},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"afebffb25d81e298215c61b8f48107c52973f76e","scripts":{"test":"concurrently --kill-others \"cd demo && npm install && npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"npm run start_client\" \"npm run start_server\" -n client,server -c \"bgBlue.bold,bgMagenta.bold\"","postinstall":"if [ -d \"server\" ]; then cd server && npm install; fi","build_server":"cd server/LeanProject && lake build","start_client":"vite serve dev","start_server":"cd server && npm start"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Provides browser support for running Lean in a Monaco editor.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"vite":"^5.2.0","cypress":"^13.13.0","wait-on":"^7.2.0","copyfiles":"^2.4.1","typescript":"^5.4.5","@types/node":"^20.14.2","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","vite-plugin-static-copy":"^1.0.6","vite-plugin-node-polyfills":"^0.22.0","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.10_1722259204022_0.6925717147690122","host":"s3://npm-registry-packages"}},"1.0.11":{"name":"lean4monaco","version":"1.0.11","_id":"lean4monaco@1.0.11","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"homepage":"https://github.com/hhu-adam/lean4monaco#readme","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"d9e001d71120a919ee8c270b03f832383aeef8f9","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.11.tgz","fileCount":156,"integrity":"sha512-IqMp1bO2k0285Zll0cE3AMOrQD6hB2ZG5GhXtnEr39RYrjOYOM/v/uL7N67IV03nSfzfJoohbCyD/myuIL+yYA==","signatures":[{"sig":"MEUCIQCn2h38HyfVdSeC86Bdo1oEvHdEv8rDq3QVqr4Xn9/V5AIgbt1ZccfcO68/gPvXrEE93EUoz+NygLjxPysLDC1suyk=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":5181671},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"0484afe765bbc96f1328bcd4293d8a0c79f17ce3","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"tsc -w\" \"webpack --watch\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,vite,server -c \"bgGreen.bold,bgBlue.bold,bgYellow.bold,bgMagenta.bold\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Provides browser support for running Lean in a Monaco editor.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.11_1722428908943_0.9972728785713647","host":"s3://npm-registry-packages"}},"1.0.12":{"name":"lean4monaco","version":"1.0.12","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.12","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"6e641d071099326c651fa66cf7b536c3429ad3b4","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.12.tgz","fileCount":85,"integrity":"sha512-2ag0nrDaJtAGAl1X7zysaWg4HLjx8cUZYek38wlYOGa+zrNxo3opP6dxtdOQ+1WdT3PyrjsNXt5Wn5S53+oIEQ==","signatures":[{"sig":"MEUCIQDIKCr9xpVT8dq1A2ndYAYtuzkOITAj6XS82lyK2B44PQIgawK2iLyE/xBP5VpnYY6ZHMFKgK0oMaRnOEj0Uj3dVE8=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4212254},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"6fa28ca1f6696af8049e6b40414441b9b0dfef67","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"tsc -w\" \"webpack --watch\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,vite,server -c \"bgGreen.bold,bgBlue.bold,bgYellow.bold,bgMagenta.bold\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.12_1722524780886_0.8120923507098139","host":"s3://npm-registry-packages"}},"1.0.13":{"name":"lean4monaco","version":"1.0.13","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.13","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"d0f0bfa08926efbb59260c5bb8756830878d9129","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.13.tgz","fileCount":86,"integrity":"sha512-QY5mGPByLQMOS4r1HVwMqVvrK4I70tlily7mQqL9+7L8jlS1TgK4gECJgMezjtzItCQFFc7LN7xZkO+d+RPXUQ==","signatures":[{"sig":"MEUCIGtxXbI41Ds15VikfdRBAsbwIBOpBTm4IiDqqMSYwIIzAiEAyZekNfxdaJ9FcNrUcLkFegqJgYC5rtmrOKvAebLWM5g=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4223805},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"92cf292373a3c90194f7ebffa816104d72b9c00f","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"tsc -w\" \"webpack --watch\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,vite,server -c \"bgGreen.bold,bgBlue.bold,bgYellow.bold,bgMagenta.bold\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.13_1722527922734_0.4779368612110513","host":"s3://npm-registry-packages"}},"1.0.14":{"name":"lean4monaco","version":"1.0.14","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.14","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"00c891462138ec4052e0ddd05ae61e2329a05980","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.14.tgz","fileCount":86,"integrity":"sha512-D9tTfX1M8vWOpS+evEdhwRK3qsTlHQZwpTbuw2YPSnjeit2sK5AhvVFifoa/RwzQh1FP5Mfjylt7jDvb2gy/dQ==","signatures":[{"sig":"MEUCIAJ4jNmeRNN2sDqj1areuxGq9qRqzwVav420/KW5+T0OAiEAm6D782X0imPWxENcNQPSKxLl0xhZNaNKH6+PUGroXPI=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4223705},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"41a9b1d55fecea7fa8f92cfe53ee0a82d37dd62e","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" ../dist/","start":"concurrently \"tsc -w\" \"webpack --watch\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,vite,server -c \"bgGreen.bold,bgBlue.bold,bgYellow.bold,bgMagenta.bold\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.14_1722533285026_0.28861748793385766","host":"s3://npm-registry-packages"}},"1.0.15":{"name":"lean4monaco","version":"1.0.15","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.15","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"8cf526df706f7cc889ed0259864c1957b618ba4e","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.15.tgz","fileCount":97,"integrity":"sha512-Qnk8MEXq6QNXTR9h0iUIFoJXA5Rdtkvp4dt3Yq/mgtt9Q8R+UuEhRzKhDrercTHUxTqb/ueYWOUdpe0wrkcZwA==","signatures":[{"sig":"MEUCIQCUVXrk7vPwHhrFxJMduhWi7Hg7OJeU0hsARSvF6kCFsgIgImySgZoreC2wf1OmniHb+CvS9OGcgzChjpUn1Pxiudo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4262522},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"a75786e26991a751e983cac69640ad2a6a2c6484","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.15_1722623775890_0.14097710888477266","host":"s3://npm-registry-packages"}},"1.0.16":{"name":"lean4monaco","version":"1.0.16","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.16","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"393af0d335c912bf6e65ac71c603b378651cd6ac","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.16.tgz","fileCount":97,"integrity":"sha512-LGIY1XZska/9m9rm7/pYnSqlPwJIKzKwyDQAnkfU9HPNgbP3IXL7JF8xSd8ZnUrwuSwG4f5jwTwa8fnesughLQ==","signatures":[{"sig":"MEUCIQCs27TpxaHi2YAZnYz5uwPFonEInazSio6li+PBJhq8cQIgaxg+oIz7AtyGuR08Svc8exC4SNYk1zAkDRPAmvVr2Q8=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4264008},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"5a46854838e8689f233dfc09548ba7e56ee3771d","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.16_1723040480323_0.6662062984424737","host":"s3://npm-registry-packages"}},"1.0.17":{"name":"lean4monaco","version":"1.0.17","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.17","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"446fd22dbdced037490f51608f7f2ca99e88562f","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.17.tgz","fileCount":97,"integrity":"sha512-v0cB3EBtL+67t8Wy4Mgzi4n+Kt4IbY2fpSj6pWQ6FJsQ2etO96prlE17kbWh9zN+vBcB6WuRXrgySHj9OcJ2Fw==","signatures":[{"sig":"MEUCIQD1L5rb7dkRlrEHBNSCb8KdfB1NL0P+rppSF58IWeLTIgIgRY/UoT3Me9H1f1+FWLXGFEfoCejFcmL5ag1FbFkY/7U=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4264008},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"bc35586b2e21105496aa9033372dc356a41f0c9a","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.17_1723040841330_0.4511227270747691","host":"s3://npm-registry-packages"}},"1.0.18":{"name":"lean4monaco","version":"1.0.18","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.18","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"477a878255f0cd6806adcd86f7124b73cbd91d71","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.18.tgz","fileCount":97,"integrity":"sha512-BtRp5kwMjzSh9RjhfqNG4ZJ2pDEW8SPoY++cb59oqkyt/1w95zEwukzEl9LhpOo5yG2KGViQ6nsStrknG1/8gg==","signatures":[{"sig":"MEUCIQDFWbyZ9AqozhdwL6mWwGD2gbctzN5oeef8dGAQOlo2cAIgZz/tHqyse2lh3KPBR2uKpaE9bjzsY0RGfpsp+MHTUkM=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4263374},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"ec2743a22694f0544941872fe3cd591cc7c609fa","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.18_1723041787597_0.6934794180349382","host":"s3://npm-registry-packages"}},"1.0.19":{"name":"lean4monaco","version":"1.0.19","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.19","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"c3b24d9763bb3757cecc4aa2fd8d4d3840f87161","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.19.tgz","fileCount":97,"integrity":"sha512-OLOppxMlFjVTxBcE797vkRLiPPTCjK45/oCSBH6ERrv7VkJZlATIEl4w31gZoUX7B9t6Rx4/7We4Bw51HIbcvA==","signatures":[{"sig":"MEQCICrMR/60lPfRKYVXRmuCKwz6yV+h0ioCSm9zsBHwAHWoAiB9bxm088xOUgf8It7hEtLDa73d7MiIhEGHbRuk2ySz8A==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4264069},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"4846bcf2e87bc31a00ea9052c4a4fd246e86488d","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.19_1723125776101_0.022086798439716393","host":"s3://npm-registry-packages"}},"1.0.20":{"name":"lean4monaco","version":"1.0.20","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.20","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"e38c3d071ee25626898d47e3a8d4f47a361b6a94","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.20.tgz","fileCount":97,"integrity":"sha512-FGCpxPzjauibRfW0GIL9eJsq5WE2OaJYIz6ZZ0NV3L3QAVXLqqlAGs5co0eMPrptlUutVSl19n+zoa3G7yZ58A==","signatures":[{"sig":"MEQCIGVC28wg0Ylb9+SqBeDuAPOZlTZu1YmDtISTUNsF9HGqAiA8E6mOWIaYx7I5NIfRWDcFut9/uquPWjioEcoOeqItEw==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4264069},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"2f54df1a22a6d7f23a2b5293dbebc559823fdf49","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"zod":"^3.23.8","mobx":"5.15.7","axios":"^1.7.2","memfs":"^4.9.3","semver":"^7.6.2","cheerio":"^1.0.0-rc.12","react-dom":"^18.3.1","concurrently":"^8.2.2","@leanprover/infoview":"=0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^20.14.2","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","@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"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.20_1723128272771_0.9198230597603065","host":"s3://npm-registry-packages"}},"1.0.21":{"name":"lean4monaco","version":"1.0.21","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.21","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"f35a8c40d15a74576df2c6511e0f7b2ac4d06045","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.21.tgz","fileCount":97,"integrity":"sha512-PpgxyqXl+auyeGVwp/9EzErBaGhYw8GyerCc6PZBMPiFMm5V32+PtjKKy2e19yUxiVkhP5BLr+kuaF+JBgy7TQ==","signatures":[{"sig":"MEQCICXEpb4s+0enWjDWwBqPB2bk6mj9kkjJFyxe2GcuEAPwAiBw6w6sj0cHeXdHYXQEojxmdkXIscCwVInloNmHQN2jsg==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4266823},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"a543ccc8fd02e6cb9d1cbfcc53248c537d234db2","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.21_1723139624447_0.7590455628080413","host":"s3://npm-registry-packages"}},"1.0.22":{"name":"lean4monaco","version":"1.0.22","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.22","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"2c0f47a250d7544c9f9ceda31bbd760bed3c6521","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.22.tgz","fileCount":97,"integrity":"sha512-YHrU2BTwKwgR09JZ0EuEoW6wK6J9PEbn4ba9MmfrnbAfErdFZYY/lsm/M+oQZwm6jVTLA1KMDzH4bvTdrSAsjA==","signatures":[{"sig":"MEQCIElxL+iFVTbzu3o+2LgGMmmy8//irvuuBaeE17fEvr7WAiBMTEDRCFwPnBbmTNvPmn5LF0gkU964oJfDTyvJ6/Sd5A==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4266904},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"f0a34b5ad0cae0988e49ca8ae196f62ed5e78a8b","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.22_1723141324387_0.5627806375037703","host":"s3://npm-registry-packages"}},"1.0.23":{"name":"lean4monaco","version":"1.0.23","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.23","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"1026c49e7e11ef64c05ec9198c83f2466dbb9470","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.23.tgz","fileCount":97,"integrity":"sha512-ARlDj2U7QZsRUhNE3hz1XWM+YipFg8xOqnacEisgXVqqgG5qBc7Mrfn7jgysJEHt4s73LSVJ6qngDrqe9UlM1g==","signatures":[{"sig":"MEUCIQDol6YyOZOMLMRQPFd+4xUDFTvyGjXMlfzYW452PtSb9QIgGBNNelYRVw92pe7EJetoLFANXfTRN0k+mh2JAS0RJwg=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4266905},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"645894f28765f8bf727cb67ed814c395081b4b4c","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.23_1723142395520_0.3200648585800523","host":"s3://npm-registry-packages"}},"1.0.24":{"name":"lean4monaco","version":"1.0.24","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.24","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"63e8b9302bfbe970cafdf55d2826f9bcb3d76082","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.24.tgz","fileCount":105,"integrity":"sha512-JH2NnRYPdZ6xTjMlmSUjjRA4dl5GFnk2d5B82HT5cwmvq/F4UTOzGC3ltXyx3ar1KfBMG9goUY/DLeqzaCPJuw==","signatures":[{"sig":"MEUCIQD9LlWasjgr8HaVY9gpvAkVB82+lIJrv5DZiETVJTFSvAIgGqeaTU3Olru8J3SgS6Q5IkHcEXwfN3RRobREbXpiyC8=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":7464844},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"cebdee814e964924ceb958325b66a9ab84c20271","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.24_1723229160096_0.38013826565419095","host":"s3://npm-registry-packages"}},"1.0.25":{"name":"lean4monaco","version":"1.0.25","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.25","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"a1002e8933c27348a7d6476d157e076767d3c726","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.25.tgz","fileCount":104,"integrity":"sha512-prYmnpt940NoVRkNN1MGDzyFThAUoGwtuu8cuYmFKmNmfD03E+qR65on76ISMUxBtB+zuDSUUBGqWe4R6BbFxQ==","signatures":[{"sig":"MEYCIQDOq3f/ICi0bSzyJDviZiAl9yzQWYO9l8hrWA5A9/UzAgIhAKmcKCVpS1WFtrJuULLr/UMwnW7qkJrEfg4R4ATNmd0W","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4301576},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"7db38a400e47b40ea4e868b65e5316ed96bf1090","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.25_1723537043182_0.6244483324838666","host":"s3://npm-registry-packages"}},"1.0.26":{"name":"lean4monaco","version":"1.0.26","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.26","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"eaacabd41f5a187696ca8e236376aac99c4957e2","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.26.tgz","fileCount":105,"integrity":"sha512-TKSAKnRXbqiCzMWUvCmliLL8myPrvsb22SP2tqE/cHqE+V578Z+2JGWT/gQLdFBcZtNzQlQZYEvs3+GDpN/ypg==","signatures":[{"sig":"MEUCIQC8plsO3VlfKI2d26T0aer9btdVgZqVD6wilum3NIhvgwIgKLMibGV+MdpIRm3X2mQhwJwHjSSA+bL4p2Luf/7opgw=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4318370},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"bebbb21cf707cfa31614f6d6f322b327b6fbf41c","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.26_1723551963827_0.5497560149405161","host":"s3://npm-registry-packages"}},"1.0.27":{"name":"lean4monaco","version":"1.0.27","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.27","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"86d8c9648c2d2b2c10dc052de795e555440ef4b5","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.27.tgz","fileCount":104,"integrity":"sha512-JaUhXqWFoqY6IM0CFMyvSgRCd1AYujh52PrxMxKbHR8XLTdCWbEF1A/9SjAXXOgo0ZyPSdzJe1NJBcS+33iFJQ==","signatures":[{"sig":"MEUCIQD0dJAhTJJtckUJEWRjSA7/RucAUh/LYnFloMeL0ewi/QIgWaRl3bHyEwfupzjzzrkgy3wJvKbfyup92FI+nJ4JOYo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4318683},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"a06079fd2c85c91e95fad13d68c243592a95ce37","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.27_1723740535143_0.8885610555264589","host":"s3://npm-registry-packages"}},"1.0.28":{"name":"lean4monaco","version":"1.0.28","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.28","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"37f1685b113abab8f96b61682c6e77458c641546","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.28.tgz","fileCount":108,"integrity":"sha512-zUwcU6tpxDeI1dwTZwNL9zsBSxlt6NqewGt5dPlOZqiXx/Yelk/qNTdsvNLEPrTzkTvm8R18Wemp4NNtRnvjng==","signatures":[{"sig":"MEUCIQDjU/A6k9WF6e7Goy66ZQMymnC+gv8I/zn6V+MQOCzUYQIgXObnoDKvJOtrA5u9k4F6uSGY2SkU8tM4ZyPyynETZUM=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4339488},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"eb52e16f577c17e4bd3172b173fc90824d331e29","scripts":{"test":"(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.28_1723837255636_0.5612194303737552","host":"s3://npm-registry-packages"}},"1.0.29":{"name":"lean4monaco","version":"1.0.29","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.29","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"c3d2e077502cfcc9aa5c50176a40815d69a31bf4","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.29.tgz","fileCount":107,"integrity":"sha512-Q/l3swFOWaBKCBIGbc1GddPdkzzOpDd1kzPZ5YFz8hJPEHQQYclSd7BqETwIef2DVvtmfb/vAgLVQPbY6sSWRg==","signatures":[{"sig":"MEUCIQCNxbzsFS3DMlNRjjJQUhqORw+VitYeKfaROmmdL1w1zwIgZqMKiuxflEsAhTcj6RM7uRICXuGCkx1zxpe9CjiUnO4=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4323055},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"3d0ecd8b788fb3473f7dee6efca553f7b549206d","scripts":{"test":"concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"npm run setup_demo && concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.29_1724158112498_0.656003432102048","host":"s3://npm-registry-packages"}},"1.0.30":{"name":"lean4monaco","version":"1.0.30","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.30","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"98b5044b5024e91522d105d75ff5a94a0fd368ec","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.30.tgz","fileCount":107,"integrity":"sha512-Zy4iRXoQrz936S7PSSE02liYzedb1+4BzjVqa3rlABKrJO9z0yJInr+NtH91VcTgZ2Ri0DuVwLfNurvLhfEshw==","signatures":[{"sig":"MEQCIBk6lSn3xt0hQmIyC2gq5x9Mq3IHz+tkW1GBadTZHqNdAiBTmCt48agVKabqWP6xDPN8D1Y3TEPfejZnF9blJ4Ad2w==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4324381},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"735a5f781e1e78f1636b9f038516f28770c65bb4","scripts":{"test":"concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"npm run setup_demo && concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.30_1724169976891_0.4981900579603249","host":"s3://npm-registry-packages"}},"1.0.31":{"name":"lean4monaco","version":"1.0.31","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.31","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"a80047672cb57bc505929c223b491a880cbe3d1f","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.31.tgz","fileCount":538,"integrity":"sha512-CXwkICZlOML1UaNXfr3e7+DcaF+89BcR1gqDMPIfrgLSqdnWfzsOl8Ig2TiUC/Bbu54w8FOUQtJE2EFyR+awow==","signatures":[{"sig":"MEQCIHQgBao/8OamJDaJKHwczFgB6ipvkum0QHZpqPbLOLbHAiAdctfDOrgTIkJIbiJKXGhJANgIEqdmSMbrO3dj302Y2A==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4986687},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"8a84ce2493935bdb3bba438df06b60dfe73c0782","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.31_1724462890377_0.29637601505862077","host":"s3://npm-registry-packages"}},"1.0.32":{"name":"lean4monaco","version":"1.0.32","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.32","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"465813d2c33bcc93cf68bc9eef7a6ec1adc547e6","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.32.tgz","fileCount":538,"integrity":"sha512-7980ldbVDTUzH+wxQEnQXCkOsThbe5QaD8l619e/bMxYHCvJSyNENdSSu9bcNxRFix1wNm3iTGW6/EK7NzWNHQ==","signatures":[{"sig":"MEYCIQDv5cGH1+cFJzKnuegS0blUtjKM8B8yyxEE0UZAxa2nIAIhAIveS3pOM3f726YVLwiodHMjTSdzRsKKEAszvFi2jsTd","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4986698},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"7df9f0c507ec23ae7ec0a0e548c64fe8dccbffc8","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.32_1724580651129_0.1717350238969899","host":"s3://npm-registry-packages"}},"1.0.33":{"name":"lean4monaco","version":"1.0.33","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.33","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"5ee5e392d0fe2e75ecefd978b9c3b909a2a31011","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.33.tgz","fileCount":539,"integrity":"sha512-Sz+uBz5FsUfzSzHqRHMv8N421F75yCA/y8/wMdroiHqr5BObyC9YhtqpLaCM6NuVMNdRVut8HGHgJ8YvwnxKxg==","signatures":[{"sig":"MEQCIAzBCYCUjI8mCNr/svwNn9+hgl98Y6bHMx+hJ8jIN202AiBHfOyKbY+UmJL0EyKE1lgaLBId8BiozknXIK90fMGnHg==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":29003347},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"803ca2c6b7822ade609e85bdb8092e7665ab8ed1","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.33_1725139722873_0.8069427320144218","host":"s3://npm-registry-packages"}},"1.0.34":{"name":"lean4monaco","version":"1.0.34","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.34","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"41740c6d538291034b116b4d30f12a41e8ec64a9","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.34.tgz","fileCount":539,"integrity":"sha512-tTYNXhgWz2324577LtfyyxhihV+0lfAGInmcCoZI3nVKBIhjU9yyQSLVEAJcCR0vm6mSXti9E82GXUrHgOFKVQ==","signatures":[{"sig":"MEYCIQCSoOJvo8B9U847qlh1hZ8KGD+1MdfA17/9WLkwaGk7yAIhANksMwBYz3399Iti5TkxCSPqgt6DmKgRy5Ub4PD4MLe9","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":29018795},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"48e3d831470e9cf09887cfe30850742f413ed493","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.2.4","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"21.4.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.34_1725264169752_0.24708696154408782","host":"s3://npm-registry-packages"}},"1.0.35":{"name":"lean4monaco","version":"1.0.35","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.35","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"65af88e85cc8e3fa982949edfd53d314cc056e50","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.35.tgz","fileCount":190,"integrity":"sha512-UulWt0cvxojeVkzpFJCTH8XcCyXT8GIQ5a7Tu64M5/yrxeIOpAjbZxFdfpI7u2Imdu6GVFTrzLrBPfBhjtuJZQ==","signatures":[{"sig":"MEUCIQCogWgo1tIi8gYqsQ13UucERoaIRDEZLgLlD/djXrlTrwIgJvZJpfBE11NSCEB/b+NhQkSPGt4WE5BL8TEw4GMrJYk=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":41853833},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"f1a3ac72d0e673d8f58fd0e1f15409c50e769873","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.7.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"22.2.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.35_1726603997286_0.04839254525547698","host":"s3://npm-registry-packages"}},"1.0.36":{"name":"lean4monaco","version":"1.0.36","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.36","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"fbda0f8205719988940928c631daa5b76e6f0e26","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.36.tgz","fileCount":109,"integrity":"sha512-TE++GI8l7kWp9c6azVNQ1bK7JF3jzCEHmvitc9ARv6WT6WJJTfI4rBE6wCKynrOu87M6whj00apVTFTTTGtc5w==","signatures":[{"sig":"MEYCIQCKVZLBOaxbWxE2/+KzUUelAjR0w5HpwheRvA5T+sx2gwIhAOAZIwRhQHDFMW/HKD1kboveLnGTz5p2DUDD5hz1JMA3","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28360406},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"fda018393410dd4f7db97ed9923fdf1a5aaa10f0","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.9.2","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.36_1740163203845_0.1624009457113682","host":"s3://npm-registry-packages-npm-production"}},"1.0.37":{"name":"lean4monaco","version":"1.0.37","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.37","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"c32b2b0a244e62701905bc22adbedcc04ec206c5","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.37.tgz","fileCount":624,"integrity":"sha512-+vR12XW7/KyGg+b4tS7BVuZ2VDlM9gne/4ECaqOrQiEiWdU8HDkYsA7s/xsoCayxk/Rw2DyWh71tJReVMyONxA==","signatures":[{"sig":"MEUCIG+/KUbkNSjH1qoimRY0R5zoyLRG761MvHPavLMWRRHjAiEA5HZB4e8loqSkoreNBIAsxb+UoQ/KTXqlqA7N7a6fGKU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30406143},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"d5749f87f9c4653108366878c1da29370d15a792","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.9.2","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.37_1740483729340_0.8856542076329565","host":"s3://npm-registry-packages-npm-production"}},"1.0.38":{"name":"lean4monaco","version":"1.0.38","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.38","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"9b5fea04f359cde039d32838f47123843220211c","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.38.tgz","fileCount":624,"integrity":"sha512-8JOrsszy7BpwsJ8hnqjleDO6mXe7T+btOOJw9cfm9Vhe77BRYZRuR6rt1aC/zoyEjgRcjt+XKGjexNZpbSf5kw==","signatures":[{"sig":"MEYCIQDpJaM66m5GfmMZHiB9oPe6xOz0VygAyQS/F98/IW+JqwIhAPL3GArwbu+mZhna4cDZ25d3GBbg9hEb0F5/XSLP6SXl","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30406180},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"0c5575d6bbfc5b0658132a90fe069211a51817c0","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.38_1740672548970_0.4423867243957569","host":"s3://npm-registry-packages-npm-production"}},"1.0.39":{"name":"lean4monaco","version":"1.0.39","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.39","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"93f66dfc6a17f428f42241da5137f8b2209f0b06","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.39.tgz","fileCount":624,"integrity":"sha512-y2tNiMdNjjPN6PqyvUQFr+0RLBQYnmEpAotHftJNsgqvCIF1DuF2+5XE0NwOGXjxn9uChWhc/BBYeVU4fIJu4A==","signatures":[{"sig":"MEYCIQCliW5/l4SRYQbYBFmw+GIdpAbGKI9raEPaXhdybSmWHQIhAIdElUsiXCSPeyzXtx+YM12n3A34rcmYAVho8yZUpRbV","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30406257},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"ecfeda549c28df0671ee4fbcebcb7bbb434d01c8","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.39_1740673815772_0.31170071383762576","host":"s3://npm-registry-packages-npm-production"}},"1.0.40":{"name":"lean4monaco","version":"1.0.40","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.40","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"93c6e1eb4f0643ab43babc75cf9d902a04f606f1","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.40.tgz","fileCount":624,"integrity":"sha512-Ox4l5XhnSGwLBbI2Cj1hjyqWvkt7HCxTr8ADu7WFDA2jaY73ZqUFYrEeDV5VnxGu7oro9KhyscbmweO3Zjhq9g==","signatures":[{"sig":"MEQCICZjQiUlWrnlqXzdBAjW/GTGPyzZxBEwhzsSXeqd4F8/AiBPyqHskEBqUCIUY9myXF/aPtq1A7EyBFFq+KRVNNSxgw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30406257},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"0966c323af6185e0edf50fce24b8484f4c2a648b","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.40_1740674396021_0.45461175012874677","host":"s3://npm-registry-packages-npm-production"}},"1.0.41":{"name":"lean4monaco","version":"1.0.41","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.41","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"618aec41b2116f10911683a2f7b22a9b3cd45219","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.41.tgz","fileCount":624,"integrity":"sha512-o9fk5lLwS1pzIOxp5Yrl8SLLMEEYpvhOeSvnJ5KKfFuJ9QQ6SK9YemeWyNJOE6B6r2/TDFQcdPy2HtuYM8VBdA==","signatures":[{"sig":"MEYCIQDSpUEjPa0jcrzlwP6V59rJ7Lz/wvAac6mGb00BmZKoTgIhAPbaUHqNHN8lMxzTjDN/0/EPwt7fw2hyucst7NIZb+IA","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30406256},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"6086396116a6788db092900133139a1eff3ee5a1","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.41_1740674582795_0.15694500894386998","host":"s3://npm-registry-packages-npm-production"}},"1.0.42":{"name":"lean4monaco","version":"1.0.42","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.42","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"09fbf4033253d7d359debd2e4619b3ddd42a31f8","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.42.tgz","fileCount":624,"integrity":"sha512-K2lOz+LfXreElchlgihQQ9+wIcW9lxQ2+HufkRN551O0KhW5RY9ekrpA87dJpX19WIw0PYbfFyHaiSXo8norhg==","signatures":[{"sig":"MEYCIQCSBvp3MBmzukjwD4RKNkkNf0hVE7hJhujlh5OWk0/kqAIhAP6+ObHJyugVFucm5MP6/S4/l6KorFTj/eWpzsdQeakq","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30406258},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"719bd7189bfac0a8404aa13cc69094c32f4c2183","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"=0.1.0"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.42_1740678006489_0.10892563536550215","host":"s3://npm-registry-packages-npm-production"}},"1.0.43":{"name":"lean4monaco","version":"1.0.43","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.43","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"35c890682b73f483850b823e0916f8187d20bcbb","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.43.tgz","fileCount":624,"integrity":"sha512-xUrgilXU8ju+jOPS7O7MxwWKC7s4Aed81roULAGeZ9s+mMzMX+jX+pbs76ulRvdgxdDolB70bvz3BXf4AGgBHg==","signatures":[{"sig":"MEUCIEzGjCdC07u13sHxHVJ+EbuSgqGRxhHAWYXxWJ18IMzrAiEAs79U4+MIEL0xnJOE4Z/B6hX6XBK/UguEjqNP5xrJSNc=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30406144},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"2764570c3d7515328fe3bc9981a04784c0cb4e7f","scripts":{"test":"npm run setup_demo && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","setup_demo":"concurrently \"(cd demo && npm install && npm run build_server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.2"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.43_1741279888900_0.7179929054449197","host":"s3://npm-registry-packages-npm-production"}},"1.0.45":{"name":"lean4monaco","version":"1.0.45","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.45","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"53c6962729cebe5d03573885f3c1c60fd862ded1","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.45.tgz","fileCount":1133,"integrity":"sha512-nHH2O6FX0qyHNuiC2Ip+MJXfyPt1ZRJsWRr/VCwJmZyplI5P2rwzmPeyUn7TgDgPJyzTj4yCmun3VB0s0479Eg==","signatures":[{"sig":"MEUCIFUzQJ9Ug1j0eO14D/L8XaPpaKNwodYi7LB9L0467oqoAiEAsdTUKlBbryihAc6cyHZAk+wkjdfVMIIRtndiAar1mAY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":31558289},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"51d0bfe6faaf76a95e3f70a9a4282d725c92520d","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"lean4":"file:./src/vscode-lean4/vscode-lean4","memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","monaco-editor-wrapper":"^5.3.1"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.45_1741689134298_0.885109506947477","host":"s3://npm-registry-packages-npm-production"}},"1.0.46":{"name":"lean4monaco","version":"1.0.46","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.0.46","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"32990f88100b7597157adb020edf3adb3c7bde87","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.46.tgz","fileCount":110,"integrity":"sha512-j1u2M/TNGm5rgQDuGpNOKazFMDLdEPPzTnhw4n6AzZ7zyRtgAh5f7J5gDhrF23J253u18MaH1uUm4NkYJpNkfg==","signatures":[{"sig":"MEUCIQDcoCUXcMTJzQs5bAn6xir8xKttf8qtDNQUaNs13MLArwIgdY0py3A13PwHMis0doUcGJp6MYYVvl7aHOH8By9i/iQ=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28361127},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"0ce485f68f160fdcdd3014c3e990e1fa8e3dba54","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.1.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"23.5.0","dependencies":{"memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.7.3","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.4.0","@leanprover/unicode-input":"^0.1.2"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.0.46_1741693778620_0.2459720052067329","host":"s3://npm-registry-packages-npm-production"}},"1.1.0":{"name":"lean4monaco","version":"1.1.0","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.0","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"ab9efc5f8aa3202a5ca5d7592236e9e7bef70076","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.0.tgz","fileCount":263,"integrity":"sha512-F2169WncUmBen9/YnBK1RlhIz3MnAkw4Xebo0XDa2am70tPIExIsOygOwT+OP2tOt0Qz9T+WVVl/iwNxQOMiLA==","signatures":[{"sig":"MEUCIGPWqi3XxrEiKahXSk/OBsLAElWT/h6TkFR5JQMSs47zAiEAgFprH6fJugfZn616q8WzwEB7eLLrO23ezt0NaceyTQ4=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":42547223},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"c80a64522f8f21e7720b3854e981f3000b2f1a12","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.7.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.22.4","memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.0_1749588626835_0.6734305007415935","host":"s3://npm-registry-packages-npm-production"}},"1.1.1":{"name":"lean4monaco","version":"1.1.1","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.1","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"4aead752afc26ad980e33fbdb7c59e946b6207d1","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.1.tgz","fileCount":263,"integrity":"sha512-JfAyGQ10gLgNCFie8mHKv4ewX7TMtMDa4Qq8gu8GDNhTFE/5ZMQCSPwkXwGdcAGO8L96nfgiTbhw/EZmFaXLRg==","signatures":[{"sig":"MEQCIGacghfy2q9XJJ9JTPGK9ovc9LAILIxGdcQHJzwWEVZ1AiAXZuX/SKBjZDRpwfERmp+wa3zA34aHEkOhGxzliE1VQQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":42547160},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"71e8abb5443ee7640f91bdc21689d15fbd786656","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.7.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.22.4","memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.1_1749591670265_0.5621545917854038","host":"s3://npm-registry-packages-npm-production"}},"1.1.2":{"name":"lean4monaco","version":"1.1.2","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.2","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"9d7f4549dcb74753613cb5d1d2696c87694930f0","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.2.tgz","fileCount":263,"integrity":"sha512-fmHXd04bTaReSFECPitNMMM2UKFdVpJYohypmAIOIPeb+XxEAZn+wi7eS8Wc3Css5rqmC7J1mmJ//V1URq0iKQ==","signatures":[{"sig":"MEQCIG0nHztvQSwud09Xh7bbm8f0Jsd+8z+iNtSfF40WE64fAiBnklwAJy5iAdZ+0cDuu9k/wHtpCh1KEeQvlaOKwdHRHg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":42547309},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"36aa9e47423f821523ffea37b15bb6c6e63978d9","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\""},"_npmUser":{"name":"abentkamp","email":"bentkamp@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.7.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.22.4","memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.2_1750099581065_0.699468513017802","host":"s3://npm-registry-packages-npm-production"}},"1.1.3":{"name":"lean4monaco","version":"1.1.3","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.3","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"5f47cff3947b6377aecd966522c8f5932f19e81c","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.3.tgz","fileCount":265,"integrity":"sha512-dkYVQZd47JvTiwndiITYuAU8ID3yIvmXQV9R37lt3Z5kbw0Gl7kxe47K/SZqvlomowujXttWVxN12fmUkK/3YA==","signatures":[{"sig":"MEQCIBwe2sbxBdpON2raQvCe8NOaP3viAuUpyRnADmxRGbGaAiBxklzIcWPVauxGRyBCQJtwIDGHpVlDRCU4+nSJqLbR2A==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":42548681},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"b5017a43317b77c513761771905dd82c2d9f826d","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"abentkamp","actor":{"name":"abentkamp","type":"user","email":"bentkamp@gmail.com"},"email":"bentkamp@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"10.7.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"22.2.0","dependencies":{"zod":"^3.22.4","memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.3_1750182736702_0.6796091609472703","host":"s3://npm-registry-packages-npm-production"}},"1.1.4":{"name":"lean4monaco","version":"1.1.4","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.4","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"5313019287e2b210d068a2b3a31e879825c065b9","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.4.tgz","fileCount":183,"integrity":"sha512-BDJsMRiygRoyIdKPr0y3Twe2VtzmAXoLjTeaCZblUF3aiFFWH0C8+cTU4tjjDEX8T+lG0FV018YFuJihQumLYg==","signatures":[{"sig":"MEQCIHg4iQ2ICr8eaiEdwb3M3ybJtA6l+/wHrSjjNxp7u3AhAiBDlybeT18uV182eFC7OvuoqcP9HA17mhb+AWf7lmwnTg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":29069972},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"589b262cf9a7587cf1d40357edafb26e5c78c3dd","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.6.2","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^3.22.4","memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.4_1764532651294_0.7225103071151602","host":"s3://npm-registry-packages-npm-production"}},"1.1.5":{"name":"lean4monaco","version":"1.1.5","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.5","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"cf10a550d6e4d338f5f2c971027bd9651138cb81","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.5.tgz","fileCount":183,"integrity":"sha512-4zU+HCdKlwe7LYAlkUcSEC2Nk9cpgIxv8yv43/I9h7SMIqG8KIV52O/mrqhzJpdMm6yjn2JuU7WgLGT0DEHhjQ==","signatures":[{"sig":"MEYCIQDVdqW7npoxOoQHvn/UDZzksFjmQhzkI695P2qBmDWclgIhAPZgvBR96fpXxpG3gGnL542omsYvLw3VpPHYrpHhNF7o","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":29069971},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","gitHead":"fc5dbbc05ed7580b69eda157a8212d1a01c0d4ae","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.6.2","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^3.22.4","memfs":"^4.9.3","semver":"^7.6.2","concurrently":"^8.2.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^13.13.0","nodemon":"^3.1.4","wait-on":"^7.2.0","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^22.1.0","webpack-cli":"^5.1.4","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1","playwright-webkit":"^1.46.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.5_1766672681664_0.44467026977367086","host":"s3://npm-registry-packages-npm-production"}},"1.1.6":{"name":"lean4monaco","version":"1.1.6","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.6","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"82487867fffc44dde9f26b4a2ce72d5441ee9fcf","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.6.tgz","fileCount":183,"integrity":"sha512-mVVjYlKmFAPJKLV5OsgMdeBQE7m6LtzSYFiYwDK1WigXuSPcQi4JiBbbofyy+1A/CvsxD2HWYBEYTs5O0xLQDg==","signatures":[{"sig":"MEUCIQDpe/VgV+BHppK0ZsnvfukEwSHNltemRunwIww/1eU8FgIgHimhHdxeah3ZOmPqGJkSDC5dGeNbefmX2OEzcA9QAKY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":29070421},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"a68fb17b9d704593a7b589a04904152e950e4806","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.6.2","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.6_1767909100148_0.22439263724169423","host":"s3://npm-registry-packages-npm-production"}},"1.1.7":{"name":"lean4monaco","version":"1.1.7","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.7","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"d19d3fb0af27f64d3d80de3c57efd33d393a5dda","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.7.tgz","fileCount":183,"integrity":"sha512-pD5/5RJYD0sAWnueeHXYB1R1bwtw1L2zEvY3NeD4RfXLB/5ZTIoeVP/ofr4hTeJ86Hc5+HNKMNNf3KtAdrKFKg==","signatures":[{"sig":"MEYCIQCt/lGYTk/eGeRDBBtsaRbT9XvEcUeGDTGjZRkGA8dFPQIhAKy6zpSMEsZaMH7Qq270LelmMiIoRgZ3cMNCVrdoJvET","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":29070812},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"7daa83eb7eb1373dd8053dfc0d5aa640425c1243","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.11.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.4","@leanprover/unicode-input-component":"~0.1.4"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.7_1772662842149_0.5873214658826087","host":"s3://npm-registry-packages-npm-production"}},"1.1.8":{"name":"lean4monaco","version":"1.1.8","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.8","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"86bb2469df9a3ac9967967af5427d0c0a89784c0","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.8.tgz","fileCount":183,"integrity":"sha512-V2qt3HtF7YrAv55MIw5GxMtnX06ppFLXUg2b5fDaqrGIYoR5p151b7uKxIQoFyvhe1WiBqCOPBK8NDtTm37SGA==","signatures":[{"sig":"MEQCIGWEqvg/rrX0sAo8TBKslztg2OIcASjIPV0cK1tbRF5tAiBvez4f1VjQ3s62QxNuu7Vgc3ZADVcGzGxyXdJWl1ej2g==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":29070759},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"1414293e9a0f2e8acb155d32ce3867b4f37c749d","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.11.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.9"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.8_1773303186206_0.9711311493152404","host":"s3://npm-registry-packages-npm-production"}},"1.1.9":{"name":"lean4monaco","version":"1.1.9","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.9","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"c88723fb240bc21be0c4fd2d24b682fe9155b923","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.9.tgz","fileCount":174,"integrity":"sha512-oCnCA4HlRaJJhPvs6uLZrdKGXcrqEU1Q9MadzRQJXfhKJY7oLfaM/qJbU9pWxmYmLTHj7c5524EanjAkN/USag==","signatures":[{"sig":"MEQCIE6/o/kTIJJfkOK0okm6j9+IoiFJ/IvsGvpepYmSFa+vAiApVu/dnoKtCsPuSGVdIIfhh4YoZNpji9szGHEGEupRdQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30153832},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"99b14844ad9a3b6dcaebbbfc7b45f9d8c8ec701d","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","font:subset":"source scripts/.python/bin/activate && scripts/subset-font.sh","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.11.0","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.9"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.9_1773870833919_0.24038443101847573","host":"s3://npm-registry-packages-npm-production"}},"1.1.10":{"name":"lean4monaco","version":"1.1.10","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.10","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"3e0423fee882d08a62c36f76e0d6f0ccf9b9d2ff","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.10.tgz","fileCount":184,"integrity":"sha512-46ZARbXzwZQ6wb10Z2miaAHtZ9dHryZoXCH08KAsXXVZoDndMyXYAAL45HQZLR0fyXXk0FU60Kd0D1Zb5sICkw==","signatures":[{"sig":"MEUCIQDCCXx430ueb13a5CdYrCMyU60Zugs95mSI3Yhoo8ynGAIgTH4IvwY+hQdvSH5MSYre1PbESRrF3o30QS7aEKBUYb0=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30186554},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"dacef5d295bc65974d6d5c648de1af5d4cfd861a","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","font:subset":"source scripts/.python/bin/activate && scripts/subset-font.sh","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.12.1","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.9"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.10_1776985189850_0.2851468167714015","host":"s3://npm-registry-packages-npm-production"}},"1.1.11":{"name":"lean4monaco","version":"1.1.11","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.11","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"b3bbbb8f6af304390f444bde3c316ad10afdcef8","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.11.tgz","fileCount":184,"integrity":"sha512-4BWuDZxhBCLy8BhX7HUzJymTegPiMDwjIaucGx9WLFFGEbhL8r2cO7UzJejylerXdRIWMiUV969aN7uq9AOzBw==","signatures":[{"sig":"MEUCIA55m7JAAFxVb9/T75wyJhQyJb9113uhM7zC0OSmn2XbAiEA+5Ah6/DM+khV4WlyGoRnCtwYtfLRRwJwThUMOCpYaAE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30186759},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"e80f8ea8e42981e89a5991fa8216a62524705a83","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","font:subset":"source scripts/.python/bin/activate && scripts/subset-font.sh","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.12.1","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.9"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.11_1776988092782_0.024774754045163938","host":"s3://npm-registry-packages-npm-production"}},"1.1.13":{"name":"lean4monaco","version":"1.1.13","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.13","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"388246fc4aa7d47165ffd5e078dbf9e7ad9fa687","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.13.tgz","fileCount":186,"integrity":"sha512-ktaWDZyjWXXIUHLogvs/TAtzP9MGSaVWZSZaJl4jFNT0I+g3OiVZpH+Xl1Zbdg6QJ1CqT2+aLwp1CHG8UT+/Tw==","signatures":[{"sig":"MEUCIQCpHL8mSOiDnkdGybJtefgcuMRvKo7gPdZ9FVY2OrlrxwIgb+PoWzb/c8rkVhWBLUoUS1YzQOtxUzgfzX1m7hLaPjw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30190871},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"71f3630719aad8110700db3756aa65cac9bc1487","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","font:subset":"source scripts/.python/bin/activate && scripts/subset-font.sh","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.12.1","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.9"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.13_1777060359046_0.5965546451228247","host":"s3://npm-registry-packages-npm-production"}},"1.1.14":{"name":"lean4monaco","version":"1.1.14","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.14","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"3f2975de7eb13c4255d9f1db3a96c9fd3bf103de","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.14.tgz","fileCount":190,"integrity":"sha512-VryKJReDZsBQWFJAKUkR/6s2V6O+lPmabvI6hgvGld/6XuaYb2y20UPz/qHbAGfGwAvqgIDiATthnUD1WJefOw==","signatures":[{"sig":"MEUCIQDzbnhff9yFq7s+papKqJEWExJ9pNMIEX5u7D8+5A6bdAIgLJq21flUV6NBDn9xZZesbJEU+5FMhZXtVbFkZwjX7Hw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":30210450},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"bdb167e90b47b5c4d4ad052d1c562c982da20cf8","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","font:subset":"source scripts/.python/bin/activate && scripts/subset-font.sh","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.12.1","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"~0.8.5","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"~0.7.0","@leanprover/unicode-input":"~0.1.9"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.14_1777641004104_0.8090660915910048","host":"s3://npm-registry-packages-npm-production"}},"1.1.15":{"name":"lean4monaco","version":"1.1.15","keywords":["lean","leanprover","monaco","editor","vscode"],"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","_id":"lean4monaco@1.1.15","maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"contributors":[{"url":"https://github.com/joneugster","name":"Jon Eugster"}],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"dist":{"shasum":"403073a99949ff55bb73e63206cf30a44dd19bca","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.15.tgz","fileCount":4531,"integrity":"sha512-1VS7Llj2Nts1fsGuImUj9d9HtcWBJQ7TiJ7o9cSOwQjsRL7kZL16e5cguOLBuvK8UUIsN7Vqy0FmWsRo4PKKSg==","signatures":[{"sig":"MEUCIQDcQAgXdvaQTqYLOd8C90de4Xplwciu+0OU8oqK2Ax33AIgLsclrMC+iFy6JNLtqgFjthNd7LNJ/11Cb1Rsroih0ME=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":61290000},"main":"dist/index.js","type":"module","types":"./dist/index.d.ts","engines":{"node":"25.x"},"gitHead":"279a383db680061bbc2e37391108029183dba569","scripts":{"test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","build":"tsc && webpack && npm run build:copyfiles","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","test:bare":"wait-on http://localhost:5173 && cypress run","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","font:subset":"source scripts/.python/bin/activate && scripts/subset-font.sh","demo:install":"(cd demo && npm install && npm run build:server)","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium"},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"repository":{"url":"git+https://github.com/hhu-adam/lean4monaco.git","type":"git"},"_npmVersion":"11.12.1","description":"Monaco Editor support for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.2.1","dependencies":{"zod":"^4.3.5","memfs":"^4.9.3","lodash":"^4.17.21","semver":"^7.6.2","import-meta-resolve":"^4.1.0","@leanprover/infoview":"^0.11.0","monaco-editor-wrapper":"^5.3.1","@leanprover/infoview-api":"^0.11.0","@leanprover/unicode-input":"^0.1.10"},"_hasShrinkwrap":false,"devDependencies":{"cypress":"^15.8.2","nodemon":"^3.1.4","wait-on":"^9.0.3","webpack":"^5.93.0","copyfiles":"^2.4.1","ts-loader":"^9.5.1","typescript":"^5.4.5","@types/node":"^25.0.3","webpack-cli":"^6.0.1","concurrently":"^9.2.1","@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","cypress-iframe":"^1.0.1"},"_npmOperationalInternal":{"tmp":"tmp/lean4monaco_1.1.15_1786096362249_0.9691396192811452","host":"s3://npm-registry-packages-npm-production"}},"1.1.16":{"name":"lean4monaco","version":"1.1.16","description":"Monaco Editor support for the Lean 4 theorem prover.","keywords":["lean","leanprover","monaco","editor","vscode"],"homepage":"https://github.com/hhu-adam/lean4monaco","bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"license":"Apache-2.0","author":{"name":"Alexander Bentkamp"},"contributors":[{"name":"Jon Eugster","url":"https://github.com/joneugster"}],"main":"dist/index.js","type":"module","repository":{"type":"git","url":"git+https://github.com/hhu-adam/lean4monaco.git"},"scripts":{"demo:install":"(cd demo && npm install && npm run build:server)","demo:setup":"concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"","start":"concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"","watch:copyfiles":"nodemon --watch ./src --exec \"npm run build:copyfiles\"","build:copyfiles":"cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/","build":"tsc && webpack && npm run build:copyfiles","test:bare":"wait-on http://localhost:5173 && cypress run","test":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:bare\" -n server,cypress -s command-cypress","test:windows:bare":"wait-on http://localhost:5173 && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium","test:windows":"npm run demo:setup && concurrently --hide 0 --kill-others \"npm start\" \"npm run test:windows:bare\" -n server,cypress -s command-cypress","font:subset":"source scripts/.python/bin/activate && scripts/subset-font.sh"},"dependencies":{"@leanprover/infoview":"^0.11.0","@leanprover/infoview-api":"^0.11.0","@leanprover/unicode-input":"^0.1.10","import-meta-resolve":"^4.1.0","lodash":"^4.17.21","memfs":"^4.9.3","monaco-editor-wrapper":"^5.3.1","semver":"^7.6.2","zod":"^4.3.5"},"devDependencies":{"@types/lodash":"^4.17.21","@types/semver":"^7.5.8","@types/vscode":"^1.89.0","concurrently":"^9.2.1","copyfiles":"^2.4.1","cypress":"^15.8.2","cypress-iframe":"^1.0.1","nodemon":"^3.1.4","ts-loader":"^9.5.1","typescript":"^5.4.5","wait-on":"^9.0.3","webpack":"^5.93.0","webpack-cli":"^6.0.1"},"gitHead":"97dcdce41edc2d1db15e8085d9cbd318f6523247","types":"./dist/index.d.ts","_id":"lean4monaco@1.1.16","_nodeVersion":"26.7.0","_npmVersion":"11.19.0","dist":{"integrity":"sha512-zEJON+SiBKo4ITBbXhxhHKT+GqmQKuxeFJE5kmdvSiU1/X8laGi6HdTLlYFqtQY1nPRa0pE24VN+g7dLztaQrw==","shasum":"ce2851e5faea85eed4269900f495de1aa75f4f92","tarball":"https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.1.16.tgz","fileCount":192,"unpackedSize":30253335,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEYCIQCmafVoe3N03+Hhm/JOzVyDJnfpmsYINZcjdrQ3NYezvQIhAL+d1nEYjq6rAQqbLUW/O/yuIy2Swv9mj0i/m7eQP9Co"}]},"_npmUser":{"name":"joneugster","email":"eugster.jon@gmail.com"},"directories":{},"maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/lean4monaco_1.1.16_1787346007302_0.36687819920474185"},"_hasShrinkwrap":false}},"time":{"created":"2024-07-14T13:25:45.124Z","modified":"2026-08-21T21:00:07.912Z","1.0.0":"2024-07-14T13:25:45.274Z","1.0.1":"2024-07-14T13:31:55.112Z","1.0.2":"2024-07-14T13:49:25.363Z","1.0.3":"2024-07-14T17:21:12.494Z","1.0.4":"2024-07-14T20:15:39.802Z","1.0.5":"2024-07-16T10:48:33.114Z","1.0.6":"2024-07-16T19:29:49.283Z","1.0.7":"2024-07-18T11:03:04.371Z","1.0.8":"2024-07-24T10:19:27.652Z","1.0.9":"2024-07-29T13:05:01.470Z","1.0.10":"2024-07-29T13:20:04.396Z","1.0.11":"2024-07-31T12:28:29.172Z","1.0.12":"2024-08-01T15:06:21.394Z","1.0.13":"2024-08-01T15:58:42.896Z","1.0.14":"2024-08-01T17:28:05.254Z","1.0.15":"2024-08-02T18:36:16.236Z","1.0.16":"2024-08-07T14:21:20.577Z","1.0.17":"2024-08-07T14:27:21.602Z","1.0.18":"2024-08-07T14:43:07.754Z","1.0.19":"2024-08-08T14:02:56.384Z","1.0.20":"2024-08-08T14:44:33.057Z","1.0.21":"2024-08-08T17:53:44.722Z","1.0.22":"2024-08-08T18:22:04.603Z","1.0.23":"2024-08-08T18:39:55.747Z","1.0.24":"2024-08-09T18:46:00.374Z","1.0.25":"2024-08-13T08:17:23.452Z","1.0.26":"2024-08-13T12:26:04.109Z","1.0.27":"2024-08-15T16:48:55.423Z","1.0.28":"2024-08-16T19:40:55.943Z","1.0.29":"2024-08-20T12:48:32.750Z","1.0.30":"2024-08-20T16:06:17.121Z","1.0.31":"2024-08-24T01:28:10.572Z","1.0.32":"2024-08-25T10:10:51.433Z","1.0.33":"2024-08-31T21:28:43.822Z","1.0.34":"2024-09-02T08:02:50.473Z","1.0.35":"2024-09-17T20:13:17.768Z","1.0.36":"2025-02-21T18:40:04.241Z","1.0.37":"2025-02-25T11:42:09.701Z","1.0.38":"2025-02-27T16:09:09.378Z","1.0.39":"2025-02-27T16:30:16.207Z","1.0.40":"2025-02-27T16:39:56.335Z","1.0.41":"2025-02-27T16:43:03.147Z","1.0.42":"2025-02-27T17:40:06.814Z","1.0.43":"2025-03-06T16:51:29.331Z","1.0.45":"2025-03-11T10:32:14.648Z","1.0.46":"2025-03-11T11:49:38.939Z","1.1.0":"2025-06-10T20:50:27.216Z","1.1.1":"2025-06-10T21:41:10.589Z","1.1.2":"2025-06-16T18:46:21.399Z","1.1.3":"2025-06-17T17:52:17.168Z","1.1.4":"2025-11-30T19:57:31.597Z","1.1.5":"2025-12-25T14:24:42.040Z","1.1.6":"2026-01-08T21:51:40.608Z","1.1.7":"2026-03-04T22:20:42.621Z","1.1.8":"2026-03-12T08:13:07.191Z","1.1.9":"2026-03-18T21:53:54.447Z","1.1.10":"2026-04-23T22:59:50.261Z","1.1.11":"2026-04-23T23:48:13.205Z","1.1.13":"2026-04-24T19:52:39.460Z","1.1.14":"2026-05-01T13:10:04.532Z","1.1.15":"2026-08-07T09:52:42.705Z","1.1.16":"2026-08-21T21:00:07.685Z"},"bugs":{"url":"https://github.com/hhu-adam/lean4monaco/issues"},"author":{"name":"Alexander Bentkamp"},"license":"Apache-2.0","homepage":"https://github.com/hhu-adam/lean4monaco","keywords":["lean","leanprover","monaco","editor","vscode"],"repository":{"type":"git","url":"git+https://github.com/hhu-adam/lean4monaco.git"},"description":"Monaco Editor support for the Lean 4 theorem prover.","contributors":[{"name":"Jon Eugster","url":"https://github.com/joneugster"}],"maintainers":[{"name":"joneugster","email":"eugster.jon@gmail.com"},{"name":"abentkamp","email":"bentkamp@gmail.com"}],"readme":"[![GitHub license](https://img.shields.io/badge/License-Apache_2.0-blue.svg)](https://github.com/hhu-adam/lean4monaco/blob/main/LICENSE)\n[![npm version](https://img.shields.io/npm/v/lean4monaco.svg)](https://www.npmjs.com/package/lean4monaco)\n[![(Runtime) Build and Test](https://github.com/hhu-adam/lean4monaco/actions/workflows/test.yml/badge.svg)](https://github.com/hhu-adam/lean4monaco/actions/workflows/test.yml)\n\n# Lean 4 Monaco\n\nProvides browser support for running Lean in a Monaco editor.\n\nThis package uses the [VSCode extension\n\"Lean 4\"](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the\n[Lean Infoview](https://www.npmjs.com/package/@leanprover/infoview).\n\n## Usage\n\nInstall this package in your npm project.\n\n```\nnpm install lean4monaco\n```\n\nThe package contains two main classes: `LeanMonaco` and `LeanMonacoEditor`. The\nclass `LeanMonaco` can only have exactly one active instance and arranges the\ncorrect setup of the Monaco Services and the VSCode API. When it is started,\none or more editors can be created using `LeanMonacoEditor`. Here is an example\nhow to use the classes using React:\n\n```ts\nimport { LeanMonaco, LeanMonacoEditor, LeanMonacoOptions } from 'lean4monaco'\n\n[...]\n\n// Refs for the editor and infoview\nconst editorRef = useRef<HTMLDivElement>(null)\nconst infoviewRef = useRef<HTMLDivElement>(null)\n\n// Lean4monaco options\nconst [options, setOptions] = useState<LeanMonacoOptions>({\n  websocket: {\n    url: 'ws://localhost:8080/'\n  },\n  htmlElement: undefined, // The wrapper div for monaco\n  vscode: {\n    \"editor.wordWrap\": true,\n  }\n})\n\n// Optional: restrict monaco's extend (e.g. context menu) to the editor itself\nuseEffect(() => {\n  setOptions({...options, htmlElement: editorRef.current ?? undefined})\n}, [editorRef])\n\n// Start infoview and editor(s)\nuseEffect(() => {\n  // You must create a single `LeanMonaco` instance (infoview), but you can create multiple\n  // `LeanMonacoEditor` instances (editor)\n  // You must await `leanMonaco.start` or use `await leanMonaco.whenReady` before\n  // starting the editors!\n  const leanMonaco = new LeanMonaco()\n  const leanMonacoEditor = new LeanMonacoEditor()\n\n  leanMonaco.setInfoviewElement(infoviewRef.current!)\n\n  ;(async () => {\n    await leanMonaco.start(options)\n    await leanMonacoEditor.start(editorRef.current!, '/project/test.lean', '#check Nat')\n  })()\n\n  return () => {\n    leanMonaco.dispose()\n    leanMonacoEditor.dispose()\n  }\n}, [options, infoviewRef, editorRef])\n```\n\n### Configure vite\n\n(Currently, this is all necessary for a functioning setup. However, we hope to remove some of these\nsteps in the future and fix them properly.)\n\nFor some reason, the file (here `test.lean`) cannot be at the root of the file system, i.e., not `/test.lean` instead of `/project/test.lean`. (TODO: find out why)\n\n#### vite-plugin-node-polyfills\n\nThe package uses the Lean 4 VSCode extension, which is intended to run in a nodejs runtime. Therefore, we need to install node polyfills.\nHere is how this can be done if your project uses Vite:\n```\nnpm install vite-plugin-node-polyfills@0.17.0 --save-exact\nnpm install memfs\n```\n(We use version 0.17.0 due to this bug: https://github.com/davidmyersdev/vite-plugin-node-polyfills/issues/81)\n\n```ts\n// vite.config.ts\nimport { nodePolyfills } from 'vite-plugin-node-polyfills'\n\nexport default {\n  plugins: [\n    nodePolyfills({\n      overrides: {\n        fs: 'memfs',\n      },\n    }),\n  ],\n}\n```\n\n#### esbuild-import-meta-url-plugin\n\nFor Vite dev mode to work properly, the following plugin is necessary:\n\n```\nnpm install --save-dev '@codingame/esbuild-import-meta-url-plugin'\n```\n\n```ts\n// vite.config.ts\nimport importMetaUrlPlugin from '@codingame/esbuild-import-meta-url-plugin'\n\nexport default {\n  optimizeDeps: {\n    esbuildOptions: {\n      plugins: [importMetaUrlPlugin]\n    }\n  },\n  [...]\n}\n```\n\n#### infoview\n\nMoreover, the infoview javascript files need to be served:\n\n```ts\n// vite.config.ts\nimport { viteStaticCopy } from 'vite-plugin-static-copy'\nimport { normalizePath } from 'vite'\nimport path from 'node:path'\n\nexport default {\n\n  plugins: [\n    viteStaticCopy({\n      targets: [\n        {\n          src: [\n            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/node_modules/@leanprover/infoview/dist/*')),\n            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/dist/webview/webview.js')),\n          ],\n          dest: 'infoview'\n        },\n        {\n          src: [\n            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/node_modules/@leanprover/infoview/dist/codicon.ttf'))\n          ],\n          dest: 'assets'\n        }\n      ]\n    })\n  ]\n}\n```\n\n## Demo\n\n`lean4monaco` contains a sample project `lean4monaco/demo/` which you can use for comparison.\n\nIdeally you clone this repo using `git clone --recurse-submodules <ssh/https address>` to load the included submodule.\n(alternatively, call `git submodule init && git submodule update` inside the cloned the repo).\n\nAfterwards, you can run the demo with\n\n```\ncd lean4monaco\nnpm install\nnpm run demo:setup # this builds lean4monaco and calls `npm install` in `demo/`\nnpm start\n```\n\nand open [localhost:5173](http://localhost:5173). This should open a rudimentary webpage\nwith 1 (or more) monaco editors and an infoview, showing the Lean infos at the cursor.\n\n## Troubleshooting\n\nSome random errors we encountered. If you have more, please share them.\n\n* Make sure that only one version of the npm package `monaco-vscode-api` is installed. The error I typically got is:\n\n  ```\n  this._configurationService.onDidChangeConfiguration is not a function\n  ```\n\n### Warnings on `npm install`\n\n* Warnings about `glob` and `inflight` come from `copyfiles`: see [copyfiles#132](https://github.com/calvinmetcalf/copyfiles/pull/132)\n* Warning about ` @types/cypress` comes from `cypress-iframe`\n\n\n## Development\n\n### Beware of the Git Submodule\n\nThis repo contains a submodule in `src/vscode-lean4`. So after cloning the repo and after pulling changes, run\n```\ngit submodule update --init\n```\nto update the submodule as well.\n\n### Testing\n\nYou can run\n\n```\nnpm install\nnpm test\n```\n\nfor the automated cypress tests.\n\n### Merge upstream changes from the VSCode extension\n\nHere is how to get the latest changes from the VSCode extension:\n```\ncd src/vscode-lean4\ngit remote add upstream https://github.com/leanprover/vscode-lean4.git\ngit fetch upstream\ngit merge upstream/master\n```\nIf there are merge conflicts, resolve them.\n\nMake sure that the `@leanprover` packages (and possibly others?)\nlisted under `dependencies` in `package.json` point to the same versions as the packages\nlisted under `dependencies` in `src/vscode-lean4/package.json`.\n\nVerify that the everything still works:\n```\nnpm install\nnpm test\n```\n\nStage the submodule pointer to the new merge commit\nand if you made changes to `package.json`, stage `package.json` and `package-lock.json` as well:\n```\ncd ../..\ngit add src/vscode-lean4 package.json package-lock.json\n```\n\nCommit your changes:\n```\ngit commit -m \"Merge upstream changes from vscode-lean4\"\n```\n\nPush the new commits in the submodule and in the parent repo:\n```\ncd src/vscode/lean4\ngit push\ncd ../..\ngit push\n```\n\n### Publishing\n\nIncrease the version number in `package.json`.\n\nVerify that the everything works:\n```\nnpm install\nnpm test\n```\n\nPublish:\n```\nnpm version patch\nnpm publish\n```\n\nIf it succeeded, commit the new version number:\n```\ngit add package.json package-lock.json demo/package-lock.json\ngit commit -m \"Publish npm package\"\ngit push\n```\n\n\n### Docker image\n\nThere is a `Dockerfile` which defines an image where the server is run in a Linux container.\nYou can look at the github workflow to see how it is used; in particular the image can\nbe built with\n\n```\ndocker build  -t lean4monaco .\n```\n\nand then started with\n\n```\ndocker run -it -p 5173:5173 -p 8080:8080 lean4monaco\n```\n\nNow the demo should be accessible at [localhost:5173](http://localhost:5173).\n\nThis is an alternative to calling `npm start`, but it\ndoes not have some feature such as auto-reload\non edit.\n","readmeFilename":"README.md"}