{"_id":"@leanprover/infoview","_rev":"41-6eb76746ea62d883db058d8cfda59cf9","name":"@leanprover/infoview","dist-tags":{"develop":"0.4.1-alpha.2","latest":"0.13.0"},"versions":{"0.1.0":{"name":"@leanprover/infoview","version":"0.1.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.1.0","maintainers":[{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"1af83334d17936699e6b6f9d27a7b921a3db52d4","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.1.0.tgz","fileCount":37,"integrity":"sha512-uZ+0+mWpbZoRybOfeOJU7TfjAe1nntWl2ayjRA1RdeGQ4W1ca1yHJQnYI3Kvb5y3ErqJSCLyCrkKKbppWh4e6w==","signatures":[{"sig":"MEUCIDEkj8TCRBuhYF1mEziwDroUoV5/g3Bg1xuAa+Po9jmHAiEAuLtUpm7OsSs+H94SHI0wBjoGqFqgyAANucAguVAe5nU=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":3478281,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJi4FtCACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqlUg/+KewZf3IF5p8LApcHp4cPjQ1sxqs3TKTIzh2soImBVDAzobMK\r\nw4oPzgH11F7rUsjNmH6O2+YpROz9Xf0QaXAeX8AO5yPUED0f5hxXwFC94Bs2\r\nPr7w7cSotYKcg6uz35r/GaFT+lux2Yb+9YhgeNxlWuFEKLtwt8doA9MYq6K4\r\n9MaFZUOYGWYQFQzvTueLc7VhdoNYQDuZiOL1r6fLxcXOtmAJVn6znA6N+A/R\r\n8Ykyc7g8uB2YbD1Xi31ZuvJqJ+lTVaXChAKgHvaENYUFM076EtH1XqBM5S5C\r\nbPJ5+S3v4YD5X6gxdhG/kB5/L9JAhKrKOAGQBvlpX3FAITRug657tdJGu9tE\r\n+2QNZDPrvtJH9+84fZS43axdPg3mVA4nwXvqKH6IHiBY9n0ITXoHB8tDUTT8\r\ndKYihqaeC9qTjJs8sLFy3fflSpG+ns9Uuh3A2OjkUvlx2FEHj6QjdplJo+a5\r\n6XGyfLhURC4+t3XTNHDZsHOVq4NCdfUHsU5JcowEaW0RGZVnHqpZiT7DXnal\r\nHEBYh7/YRMTdPRxT1TkniCTUd5+fgo8MDQca7VUDvR0M4kvA/4k7oRhfO9Po\r\nsbgx0ohybqxjVOaJYU9rwvcPW/orilSnb2Urer7/N9GHAiWwF50RrNFjldYA\r\nZNF9HNkVGYdQjCcKQAyQnGGIamZ4Y7aeQmc=\r\n=xmDJ\r\n-----END PGP SIGNATURE-----\r\n"},"types":"dist/index","browser":"dist/index.production.min.js","gitHead":"cf3599d1c31e85878d3fbb475effbc2f623b6cd1","scripts":{"build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.13.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.5.0","dependencies":{"marked":"^4.0.17","tachyons":"^4.12.0","@vscode/codicons":"0.0.28","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"^0.1.0","vscode-languageserver-protocol":"^3.17.2"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.77.1","typescript":"^4.7.4","@types/react":"^17.0.39","react-popper":"^2.2.5","@types/marked":"^4.0.3","@types/react-dom":"^17.0.13","@rollup/plugin-url":"^6.1.0","rollup-plugin-terser":"^7.0.2","@rollup/plugin-replace":"^4.0.0","rollup-plugin-css-only":"^3.1.0","@rollup/plugin-commonjs":"^21.0.2","@rollup/plugin-typescript":"^8.3.2","@rollup/plugin-node-resolve":"^13.1.3"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.1.0_1658870593900_0.613104079893136","host":"s3://npm-registry-packages"}},"0.2.0":{"name":"@leanprover/infoview","version":"0.2.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.2.0","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"18ef3f6459ee53d67585fdba900cd1b53629457f","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.2.0.tgz","fileCount":74,"integrity":"sha512-QrN0YV/WieVHf/WeMQpni8Lo6WQRQ8lQ3ImSoAyZd4aToJYzTV4r2dh3PtjwZ65/c/GMWF8O6o8sssGWCEZYwA==","signatures":[{"sig":"MEYCIQDnO4nYy/AOw89jyk6Nz/YUznbJ5nESfT8od0nuaQKOIwIhAKdjffG8K4K9nTJoq6BS92/nSnpjcAw8OYKE7xLXJAms","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":4737750,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjI21sACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmp/sA/+OlBHLlkWOjzW9VnNR3sKshPUujDqAdEyrP9dkjZgBzXSHpmJ\r\nXTCZeymLBCoAtocXuBxgt4khftxOVxBVzLnPmvqY05fUWz2Di5qxZOIZ0lir\r\npiXw+ZWpfDRwHdxIfS2HzHPrd7sDLFGp5+G20xNvl2X+KCYYgCnIbWbE0E4q\r\n88ZkFW8sc3bBOowiPZ07hH+sADNGFzQVXq/EbfNXRP2WyFLgoRmGsqsN+i6d\r\nA1dQTuGjau1ZuOvMp0efAAuat7LTPxzBxUTY+8VIlVePC2vKNcKetzA/hQtx\r\nrusiwQdN4hhM/0C/rPuSyrjuZlXejbbVm0RblIynOeSekqtsxjG16UsQybiF\r\n6+eUQ4J4YzMW06qVZ4FfUEsqCcTndlGzFxopNRNZJnpPeeXqEFE5Rvj7m/+8\r\nqGNKP5ptJWq8I0oqjZXQ2uXmQy9iA/JpZZCDML3kc2a2uaWvYbcEJkzWsJnI\r\nNjLTKsaDxip7KrCeKHBlz6PKA8XN59KInlJja2t9mSchGK+GO2XQVltTQrGh\r\nhruzteS6zYVHbC0n1znwORN5xCOGAMSzKpBTsQM7yfEMYykpZspCfEICNd2o\r\nXmgTIms1surluo36wX++5Iu5EHaVo/PVHbvFEMdMstACA4gVk6Pz/2ShPNlS\r\nEYe47XY8xZqemCZNbjAuWL+b7/rw+Bf6ugg=\r\n=NKWP\r\n-----END PGP SIGNATURE-----\r\n"},"types":"dist/index","browser":"dist/index.production.min.js","gitHead":"aced147d044f32f276a8a071d2fa2ea5ec0aa9f7","scripts":{"build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.4.1","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"17.5.0","dependencies":{"marked":"^4.0.17","tachyons":"^4.12.0","@vscode/codicons":"0.0.28","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"^0.1.0","vscode-languageserver-protocol":"^3.17.2"},"_hasShrinkwrap":false,"devDependencies":{"rollup":"^2.77.1","typescript":"^4.7.4","@types/react":"^17.0.39","react-popper":"^2.2.5","@types/marked":"^4.0.3","@types/react-dom":"^17.0.13","@rollup/plugin-url":"^6.1.0","rollup-plugin-terser":"^7.0.2","@rollup/plugin-replace":"^4.0.0","rollup-plugin-css-only":"^3.1.0","@rollup/plugin-commonjs":"^21.0.2","@rollup/plugin-typescript":"^8.3.2","@rollup/plugin-node-resolve":"^13.1.3"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.2.0_1663266156224_0.9640809726085973","host":"s3://npm-registry-packages"}},"0.3.0":{"name":"@leanprover/infoview","version":"0.3.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.3.0","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"7e23941bb11b8107cf3138984ea0cac867f5bb54","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.3.0.tgz","fileCount":37,"integrity":"sha512-wVMd9Qc6AC8Ub4cfkENcyCqs342lqwS+4C1SpX+3z0RETxL+TxTFPdM8bYoLgtAg/eApdHhV1TDLSrBNkTWi5g==","signatures":[{"sig":"MEUCIH475JNuKVEb3F9Tg3qpgBqsnaZSafNjeK/pqcWtjAuPAiEA8vaKly+ihAKDCpSeZnzsM7gvUONEFkLuSA4iWd8NbA0=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":6595852,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjftdOACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoGkw/+JjjyXJDh1ZyVbB278LhCMeAEuysXXbSCYkqvK3gnqu6P2n2J\r\nQwsTC6/TTUehUs+oIOH9I/cKgmz5rU23Seh8sfd5FysO+WoY45mow1gt957p\r\nvqS3ebLRa4Xdae/Rp0j7/Tp2RnHa5tdIb3EtpDrMdpEO1zzHSriKzsSd0edZ\r\nocOLdaZd3j33EfD8zBdMq6HtVbv3xL0J/6kmuhnFdON6vTK/Oq7SHvJZIZo/\r\nq0KRiftzuTYOimQ9k7e9lBrV4jpyhNFq+HyuvVm0Ju7ertnN6EBLk9k+2lqs\r\nTbBRH5zrzvXR31hk0273mrDACI/uFTBTU71kxYTAWmdvEs0UeCGOLPet1cqe\r\nBHLZkk+zwA2gmdjN0hWzubcXNLL+pwV1THrO0V/3prluAzcgL7ZeYOSPW/IK\r\n/61pp7lY/z2L/QwhGUAy5KFbbdpM1GYCPBUYfqea9VcLMA3wzSMePf6HDRCO\r\n9bmAaMHA0rGfoBFgiOar13w3cw0mQgzVW4IlWe0lJczuY/yMFP0KNtIuTmAL\r\nxh3ArkrjNVx1yxgiwa0r6e0qfx849qPooekgQngfp0iHpemgNENLiK4bvN7l\r\nDw/fxDVBa7qDx+tGZF7Yo0H1Jnw4pWlkLkwOLADw9HEoqNzqMySNEbcIKxzF\r\nmyc5swfWGTbvIDwjtkAREGWat4Ea8wKGSNU=\r\n=elmO\r\n-----END PGP SIGNATURE-----\r\n"},"type":"module","types":"dist/index","browser":"dist/index.production.min.js","gitHead":"79d345c739bf707024eef5057ccef81b404a2ddf","scripts":{"build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.4.1","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"17.5.0","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.0","vscode-languageserver-protocol":"^3.17.2"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.8.4","@types/react":"^18.0.25","react-popper":"^2.3.0","@types/marked":"^4.0.7","@types/react-dom":"^18.0.9","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.3.0_1669257037930_0.5379831332792033","host":"s3://npm-registry-packages"}},"0.4.0":{"name":"@leanprover/infoview","version":"0.4.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.0","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"190dcf394ff1b0cdf18a330dfbe20d4c4a3ae44f","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.0.tgz","fileCount":121,"integrity":"sha512-l053Zy+os9z53e8no6K1oYyDQrbUg+Nv/lBDQH/OqKoZukldhrsp0KQXT58+4VPhKKvxNAIor24AHfFbmDASvA==","signatures":[{"sig":"MEQCIHOzW3qWtbinG8uMtASO3A5KdR2by3ImgUqyDX8RJPDvAiBZayGsWpXs6uGHt+VFjkaS7s3F+LdLDpnFlpZFfKAzrw==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10569397,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjiPnRACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmojCA/+M+8Ox1tX9O4gEF1MsYlxPuv2acq8cGPWvctu6i8U2EXqOTtW\r\nZXpZxBNUMYAlgADpuZCnZfU+MwoWrIUj8cECNQ3BHP/T3dY2L/PgBQ6zUJVS\r\nIJOn1Q5WHDRu7uAsxI7c16Nur0jm/0dtRK3PejGscG2J8NVQDYtJM8mLGqaf\r\n7B+xG9uoM+uLsWWxBFi6UTvExTf5kMYatdHJPjljlVJO5PrZBctmuLysyIzJ\r\nmyBhBLURRLuQKMhlITOvfxhcT4DcjOJ6G/mv0aiKxRWlkwabioUX41rqOHkQ\r\ndRvIii/XHmVGqSimSD146WmE93HbW9prMwv4zBj6yVYewWZc0zyGPrPj7TZu\r\n1XW9K5jRpMioCgKlRTAv0caJ+07yIQvDxyQ7NOgsFYMAZ8CZt73nMUcC+aEL\r\nL0lIWYa2y1mM/H4pNvS0NrUeHVJg6kFzp+QT9tU4acBCgyn8zDD78CyKQuuE\r\nw9ol+qvxadf8ydq9zBFiUOnsGJ/rCgEmqQQl3XNSdZfB58l36iGPbtZZFXMn\r\nE0L4kwX4j747PoUELPdpili617lRWQt8Xekuh3GK9ZAcOCVeIGobDgLMx9Bj\r\nxK134WbEEDTAgVQNI9d8/3aipSHaqYbc5sf1zgv23uRhRLnBvCVGPSnURR/B\r\nU8BZNtHtmMPS0icnrWgbww4mpyAvqFgc7D4=\r\n=CnLy\r\n-----END PGP SIGNATURE-----\r\n"},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"463b1f7a59fe0cafae743c4036ebb71a899cd981","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.19.3","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"19.1.0","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.0","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.8.4","@types/react":"^18.0.25","react-popper":"^2.3.0","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.3.0","@types/react-dom":"^18.0.9","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.0_1669921232927_0.4254678803037035","host":"s3://npm-registry-packages"}},"0.4.1":{"name":"@leanprover/infoview","version":"0.4.1","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.1","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"399f1e0d4cbebf66f1d8920d2d5782cf67b60eec","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.1.tgz","fileCount":39,"integrity":"sha512-hdwIybZZqlpb2poOyWqfRfMqzI5pyE0gIWG5ahTVB/IWww0pWIh2gilZ+i/xC6Y/nfUKBQkR1svJDtPrKMR6Jg==","signatures":[{"sig":"MEQCIHPzq0BBlsr3qLfH163FkT/cX8z/RTpgonXqwdQWTZvHAiB/exBEa2iSQtWUq9V1Ro6Y3ugT17N7V5AHEVCHIYFG6w==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":6890136,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjjkZ1ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmo4cA/9EdfxcR43mGGSybMQxzpEH2+zQ61+N2zajrsWC9jddHG8svsV\r\nKdNKmUOpoyIXRXDAJPQXwdqAnlRj6A04+mlt0hX1C/qozyqunkDbQjiKTbVl\r\nWxZ4vAKtUHRUjB7J79o5pB1h36qfEnII/e2HqVMWnOrfvjsL09ITmAPQWpct\r\nYgNLgr3xKlZstB+UoZYnZAl4BI6erzcfC4fCH+WvHd6TpDpcDY2kjntfqBaK\r\nSv0T0kLO3bpe3wSsLbXcoZ3WtR3z+Q1x8yh2q93ofSXZ3dlWQ5pOwccdvnIo\r\nsbIE0beFZHbCmrcougz1j5VNuJLTqmoTwnBA4+AGh6P/pN25I8lz9DcJg/3A\r\n8lDLn9UDIJtkqDqZ5HpPn7Sfk9RiyzGHyRhrK2b2C6D/QkRUaVjnom3naCrl\r\nASf1fkuJrdLK8j1n9PbdDQzhUl18TPL0OFIOybjmz3si9tzgXYm+tS6XTWv4\r\nNq2IvzCNenO694FUEH/ZgxE2WG5cfgnUDav7ewL/HewohDKH0UeuIPQg3j9k\r\nPfOk9+ofd/mBAA4PNDmuI65ccOcdQCg583GASlgeDSVWnZ/3FPAaGZJTZo6T\r\n5vVWcNdx42mFnrMKXm3ba1uJOtIigoJ/d0eerTDF08tyz4R3BLBZCe34y8O5\r\nNIS8aDI1FFdgyTxybo3E+T45iOZlIKtUISg=\r\n=ykVf\r\n-----END PGP SIGNATURE-----\r\n"},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"5e03c17255ce082ad9a99accbf6621bae236f03b","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.19.3","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"19.2.0","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.0","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.8.4","@types/react":"^18.0.25","react-popper":"^2.3.0","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.0.9","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.1_1670268533114_0.7668518135205196","host":"s3://npm-registry-packages"}},"0.4.1-alpha.2":{"name":"@leanprover/infoview","version":"0.4.1-alpha.2","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.1-alpha.2","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"860344bca3f11c26d4bcb12c9b6402ef2e7824fb","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.1-alpha.2.tgz","fileCount":41,"integrity":"sha512-TN4mJQR620/h3kcBZwhEYfi1s9RLQzzvQCtCiIXs91JJmkyidW/bCXr/IzjDozxQO5tCBRGXvwe6e5igRfiLGA==","signatures":[{"sig":"MEQCIDssA0vYdFbZuOuMhzqlFhezvwyNwf2BZhrcUifhuSO3AiAMtsKqqv2DPypJdl4qEtIz1+Mzo9dgDQx9C6t96nDkfA==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":6928284,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjvM/4ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoakA//QrvLl3QynPJSO+g+oESPF9TVAKJWeZyGxgsEXexZphSRzeW7\r\nWGLYYj5mAIfmvQbCvKW4CyJ1s45wsdW8D2ExLo1uLwIXKBACetobWs1EJ4XD\r\n6RSLUP1UGpzYA/klxUfyjU7/qWXjH1my7Hv5At9fz6N3WWLHqijM7LisuOBx\r\nO4WkKru/aluTtj3Z/FjXxu13JtCw5Z3AfGXrIolnDV6fNGjt+3nj2a0PWAp7\r\nYsOS9mg9h53jRA+80jQ3N3CTZkVVj+uz7t1l3qf8Ga5FUv8PbhYMRPFBK1Rx\r\n3r7fO8EqBP8h0+kLqTH/irr4VWkk1OChh4damsfi5Zae+yx5KS/k7gs496TE\r\nXkKAnNvfOzu29EPu4/U8xabnmlcwTItit1zfQppPf1orIxJnzMRRqwfwNWSf\r\ndp9Sod2JqANF8I6NHIdGqeASFCrovA2alSTyGgv65tnVPq4QD86qA2iWxkeY\r\nJqEImZg73/Of9fqzYyr4CmoPSAGKl61g9v4eQMj2aCYdaByAFXnHei0z2Q5R\r\n181RbUBE2c6Hz8JITzeW6VXeGzwEqnfKZMduyyvB8PNZClBhG+gJOVv4/Ks+\r\n1ojbS4zK/4cOWshDMfXUTZ+7VEXJFZYfjpEJDNS/K8qS0YvpQA8CIAbNhvtP\r\n8OCGVmDPpRQj+Nh/UWv1EtrFLlZA5pjoqNA=\r\n=ycP4\r\n-----END PGP SIGNATURE-----\r\n"},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"b501559331417a3f5fcfa7dddbbc0e0696c4c3e5","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.19.3","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"19.2.0","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.0","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.8.4","@types/react":"^18.0.25","react-popper":"^2.3.0","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.0.9","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.1-alpha.2_1673318392005_0.728449507871122","host":"s3://npm-registry-packages"}},"0.4.2-alpha.1":{"name":"@leanprover/infoview","version":"0.4.2-alpha.1","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.2-alpha.1","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"bba479b951037f0e3c9afcc02c91ab6f850fd765","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.2-alpha.1.tgz","fileCount":41,"integrity":"sha512-zWsy+syLfkXNJbiZEn+YFLMUbnfU7+XYBl29ZGd/fFQQCERgGaUZ7DalJSEh0T8tUvfm22VoQHmgFHN4xd09XQ==","signatures":[{"sig":"MEYCIQC6uo8ci4g1G3wtFP6jurZ/y9ishX/b3rNvQpqK87+qCwIhAOYX+uAbLR6cGs9caJDbM6aN5hAa2MLrf3ZIP2kiBsP/","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":6928284,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjvNFuACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmr5aRAAjM1LR6SuCtkM/7POPw5zuAjQOl1hl1NE9w6QIXRLdrxFuBiY\r\nq0FuCbLfXNlLgJ5CxwUSqJhJSRviakXZZV8gSx0qMAU5uww+i0jnAW2B3IXU\r\nzKq8wgM7RKKuMK4Cxsgspd7PupgA/2j7WWzS4ugMJzkLir+3aauUlwWioYGW\r\ngPDGIlY13AgagdEuu+WphQJmgPJj2Np+8Z1wzlKlcrbnOSwdvv7WJOBudAo3\r\npTdSDwHRUoo6+796zPvg46JoLPbvx+KN95xKp9ySro4MOMIIRXes0l+v4Pzi\r\nCUecb5f5avfPtagC5f3eUoX1sw27NNt3EfkQqFHxwPZCeJAHauitohar1CSO\r\nO6KeJmX7KQiY3CNJK7UaTdOwzaQEbsRESFl2n1fxjGin3jpSK5rBQr0RYeEH\r\ntzpWMCfkcImeeGDZo7C2lP2T9zjzJoIQ7bSi6sFM53sm361kDMUu2z8SAVvq\r\nUGVDiYyEEazIXaDBCzE3lpAFjlddir+I/Ldc3tKwCLlHdmiosdIUDpEyXMU7\r\nyyGFAkV86A51eCZR0xWHYRI1qwyeWx2/rbqwdgH1surLknru0MqOJOtxHt1N\r\nfccwSyhcA7FkS4xpxhOacVmOf01SAxVO9z7jeTUEOPmskfLgKO9LuVIOixqm\r\n6hHEohMqR4QtnUBwTYbmfzZzmHw4fe/WjT0=\r\n=ODnI\r\n-----END PGP SIGNATURE-----\r\n"},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"b501559331417a3f5fcfa7dddbbc0e0696c4c3e5","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.19.3","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"19.2.0","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.0","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.8.4","@types/react":"^18.0.25","react-popper":"^2.3.0","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.0.9","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.2-alpha.1_1673318765828_0.13114138711547896","host":"s3://npm-registry-packages"}},"0.4.2":{"name":"@leanprover/infoview","version":"0.4.2","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.2","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"2645576939e352d27bb0fd03e74bdbc39e17f0e3","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.2.tgz","fileCount":41,"integrity":"sha512-Bj+q/7n1xlnpRd4xsJ75uikZPwW5id/G4G1JPqhbbfMacTwAgzLNFaqJhzBrIUuF5nxJYGKRqRIeFtkalGxJ0g==","signatures":[{"sig":"MEUCIDhjUTIZDjeaK/V7wuKLEV4bR9QZJfrb5+wz0edEccq5AiEAjhBNk8ONZXverLx9aGi2nazupLsEmwuk7DrqRLUeu00=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":6928542,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjw2R6ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmruYxAAn+mxMcyVMjt35Y2zn7Muk6ZbaGvoxrc8ShgCYfxYtRkqtqeB\r\nuT5t4/6Xh5LHV+bIG4YvaCgLrD5NoDNyI3649MIbY9HXaEKfqn03Ap+tzNSh\r\nDQFCxSxfFnPH7xkaGB7QxGTA323N7sPNm731x72XFxgOrF1+gia0/hbjZj9j\r\nMp3mriLoWczi8CR5Ls8a+1xzhWG2QXfgi5LrmEzFUb/0BBqGTv3IYkoL0meg\r\ntp1MTKMBIjNpNNOhTweJO5dKbU5ViKtskFaltrFTjyIm/ApUfU4ixHeGIg/I\r\nhbnexnx0bUbJaUEolZ858uo67IAJ4C5zmVGDSAI9tk4z0vhQj9BjWZpvB9oC\r\nwcLdPsUD0UCjSa2GK0/j2QBfpcQkOeU4lCG37+6EKCX9lfrnseAPrWTkNQVF\r\nK+4QrPSRI95M9lfFoI7yGC1U+Q1d5e1crn6woPStBjtDtd/QAhZN0qh9EQG0\r\nH/Z8DnPmgPIDCqyHpi1840a3VZQkCSKuWz7s0mDS03Cker0F0zAXtrq1JC+m\r\nCdf56FGhWrsjFoJtJG0RAAOD12GWm+PGFtqp7DDYkWtEcWmuNFcDZhW33rBv\r\nUGldsB9eiw00o4aRI+T4+DqIvI/U60SZmSxr/bhn3buHK/xvshKjpEmLrR6t\r\n0ajPTF7jk+6g2K2QtzoTJwKe+5VMGIXGYpQ=\r\n=ejrX\r\n-----END PGP SIGNATURE-----\r\n"},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"e759a6c7e2c9a5f51826bfbcf749f574785f9f36","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.19.3","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"19.2.0","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.1","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.8.4","@types/react":"^18.0.25","react-popper":"^2.3.0","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.0.9","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.2_1673749625960_0.9178099036124459","host":"s3://npm-registry-packages"}},"0.4.3":{"name":"@leanprover/infoview","version":"0.4.3","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.3","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"286078a8dd1f8d810202ce0ee69687c12f86f1da","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.3.tgz","fileCount":35,"integrity":"sha512-SufdOr2myHAbZNUmobfQdAhsEC5H9ddi3KS0z1v/8riWSMm+yJk3u4LxVuzCmmSmV2QxFqtFzn5z+HQqj1Vo7g==","signatures":[{"sig":"MEQCIDRg+P40nOVP8WPJeK8ZBDXEwNcZ88G9q6LFWlLt5AcNAiBs+m+1x7mctZczO51VG9t4HX7ddnYjHTuiKzvR5aO0lg==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":2412344,"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJkL2J6ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoIyw//e1rpMzz0Jv4GDKfAKZSLUZsFhkgokLzI+dFX5iz0zPG0JNUl\r\nVezhHQo5Y0o9vtY5bdUqvZhhGDazjNhrkLUZ0GPV9PDor3ZBLR9TBT7wL7dy\r\nDsWBbLASWdeOusaN8iCylwLmuwJqClaXxi3IzjSBSwVHL0knCNLvVWtkfErf\r\nrtMMeN7OceQjc+tR21lYb0/4XEPZkIbe+YcBhalPa1HLiT8udFmV7OO8SlUx\r\njAtsb+sBTm7eFcLRbyBR3HJgD40V2z68DUlOvt29KJps8bSMo4yWuzr8QUkI\r\nPp6N1I2pzRl87SPm+Big179o6srKwB6qlz0SOkRZX2CawQ64dqI+9h7jjXPL\r\nVx9i02a9PsZi+GuU2qev32Y5FPwxtNTt8xCIMbGPa2D9Mx01voo/KQXYzLJF\r\nFnVtK5FHSv+aWc8zju+ASPLTOqsTXLvVC3+44JoZ4BwJDnqg8YcfVLrBBlbH\r\nzdTIx8gzZzOhUg6nJSVgS+4s7RSUQl9giG2/eUk/E+L095tqnmLnPumlkE2L\r\nQmlwKkPY0B3LY4e4Xc6H7Ekcv/GfAx6XSY0/NGKzgT/DisZAxmVf4L0vBPSi\r\n5UJ5TsojA5xg6TbGsI6D/J15VS/I1tjD7EqT0v2IPxnPq9X+kRmTfeHpD2h/\r\nDVKo2qnK/Fkl7vRBmPHvXqt5S5dIjCIzYCQ=\r\n=ElVL\r\n-----END PGP SIGNATURE-----\r\n"},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"d82f0e69c5e1daff010d6d07ddbb3e833d09c2d9","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"8.19.3","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"19.2.0","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.1","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.9.4","@types/react":"^18.0.25","react-popper":"^2.3.0","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.0.9","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.3_1680827002214_0.2766359211879994","host":"s3://npm-registry-packages"}},"0.4.4":{"name":"@leanprover/infoview","version":"0.4.4","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.4","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"6396c3eb2e7468a1ffc8befa3d1dcd0bf05a65b2","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.4.tgz","fileCount":124,"integrity":"sha512-OxHffFaHcEudLyBEWpicOl7TfXuTYxW5Sz1RkHdUINWJpQsQn60YDF5fNRKmSb0d/fm7p+LVeBvM273jvfR5wQ==","signatures":[{"sig":"MEUCIAu5MB0Dirpsg/YPI5rE4qtX5bE+Lsxbwpwi4bSKf0K2AiEAylqtxxZtu1AFny3xYu8iUg+ArINF7lMk+IYBKJkdv3c=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":8453992},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"310111e43480bdb14af02cd86f92cefe896b4014","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"9.8.1","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.18.2","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.1","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.9.4","@types/react":"^18.0.25","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.0.9","@floating-ui/react":"^0.24.1","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.4_1701966263436_0.9304714577154287","host":"s3://npm-registry-packages"}},"0.4.5":{"name":"@leanprover/infoview","version":"0.4.5","license":"Apache-2.0","_id":"@leanprover/infoview@0.4.5","maintainers":[{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"6a0591c6789fce6d1e48aee477546b5ee8f38636","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.4.5.tgz","fileCount":32,"integrity":"sha512-CK1Etux2e9lBg/eiDb0laj5Y9VAcPquLd9wdWU/GOiL1XAT64MVsGvhUsHr+LbZq6bxQn8JIgSfKgnHGTKwigg==","signatures":[{"sig":"MEUCIQDUai4R1NvG/Bf9zxVhyqI+rRQFfxq7uaLoXDnXJ4G6IwIgMDjUiTWv3dyxHC5i/I8PYMsbF8Jxcx4GHZMTnPUlpfo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":653592},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"9434a061189b8b0f64906429c9c6f99e8ceda360","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"9.8.1","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.18.2","dependencies":{"marked":"^4.2.2","tachyons":"^4.12.0","es-module-shims":"^1.6.2","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.0","@leanprover/infoview-api":"~0.2.1","vscode-languageserver-protocol":"^3.17.2"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.3.0","react-dom":"^18.2.0","typescript":"^4.9.4","@types/react":"^18.0.25","@types/marked":"^4.0.7","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.0.9","@floating-ui/react":"^0.24.1","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.2","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.0.1"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.4.5_1708198918686_0.08804049347657128","host":"s3://npm-registry-packages"}},"0.7.0":{"name":"@leanprover/infoview","version":"0.7.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.0","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"dcb66eeb9ccdc625abddb7be7b936e1ca3cd0bd1","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.0.tgz","fileCount":37,"integrity":"sha512-6Ke8MWU/EyGOX/vBguhK7zCtmCILWkYtr15qmS6JvR8AvIl2z9Dj2NhwsAVAv42ia326RRU09IWvx7uwT5Ahqw==","signatures":[{"sig":"MEUCIG6po9AOUkeOQgY6mRFI0nK4I0g5EMnmkkeccFHUkrBXAiEAjLo6K2UQ2GWVNUX7zUhJ4XDMvMszsz34KVA9Waq/X4c=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10152512},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"f5bdfaf241c92e908bd35085a6e7aa1e807ad378","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.5.0","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.12.2","dependencies":{"marked":"^4.3.0","tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.26.2","react-dom":"^18.2.0","typescript":"^5.4.5","@types/react":"^18.2.15","@types/marked":"^4.3.1","current-release":"npm:@leanprover/infoview@^0.4.0","@types/react-dom":"^18.2.7","@floating-ui/react":"^0.24.7","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.2","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.7","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.1.0"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.0_1715092244701_0.6434077546402541","host":"s3://npm-registry-packages"}},"0.7.1":{"name":"@leanprover/infoview","version":"0.7.1","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.1","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"4e830c7275c024f860d7c0709b7b816379153726","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.1.tgz","fileCount":32,"integrity":"sha512-7I1T8RfewiGfn7TN3et3s01gGsWgarsstbZdxcq4ZztKE412Tm4sg0wnfMgMOSzx7zzkdC8DfBQsIlY2Qbqvxg==","signatures":[{"sig":"MEQCIBn/I+xnJh39Cw6Lj/Dnl0HJPba6VWnc6DJiC8kHV/E5AiB4Y5devJ0Gj72dBjvXiF9x268Av7kE4NaTAJZXftqzqw==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":944942},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"ae14d573785b0955885b5a59a4d8153984c8a618","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.7.0","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.20.3","dependencies":{"marked":"^4.3.0","tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.26.2","react-dom":"^18.2.0","typescript":"^5.4.5","@types/react":"^18.2.15","@types/marked":"^4.3.1","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","@floating-ui/react":"^0.24.7","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.2","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.7","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.1.0"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.1_1718806248535_0.6482594304555438","host":"s3://npm-registry-packages"}},"0.7.2":{"name":"@leanprover/infoview","version":"0.7.2","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.2","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"a4a67f34aad5cada746563b4d61462745d68b0b2","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.2.tgz","fileCount":32,"integrity":"sha512-Xy4l+q/6lTwoTRb1HxPCaeDQrHziJ28B7DK3KYtapo1IxUWBOZjJf0b2KW4vNCe/R5PTrxfZ/RHEhlK0QLZu0w==","signatures":[{"sig":"MEYCIQCR4CKCephgfQNYKCGjRZGBxC0GKdbmvlpMYDDAK3v7CgIhAP5gBNLYACBMswKPbYJs8Ub9HHmxitQDx5IfoqF9E6f9","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":944977},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"4d6252eb89b70c44347c9eb76c687c16823b2b11","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.7.0","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.20.3","dependencies":{"marked":"^4.3.0","tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.26.2","react-dom":"^18.2.0","typescript":"^5.4.5","@types/react":"^18.2.15","@types/marked":"^4.3.1","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","@floating-ui/react":"^0.24.7","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.2","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.7","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.1.0"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.2_1718849667676_0.76312373897504","host":"s3://npm-registry-packages"}},"0.7.3":{"name":"@leanprover/infoview","version":"0.7.3","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.3","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"fd4281b5431be1993f186b2d9f89f8e455ce2f78","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.3.tgz","fileCount":33,"integrity":"sha512-QN65cUe8l0KCrXro8iwPHJoVvgIvORztB+Y48ZmvrNldy7wlyGo07rlZs+dQq4asNE7HukYt/j1zl88nfROgOw==","signatures":[{"sig":"MEQCIEnvPPcph0zY/argWWnUve8zIvuv7+nVANP6o6R3cnWMAiBSB64gxhgvzP4AR3dG3mD5LJ7Aeb4rWmKwRa8wrGP8Ng==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":946760},"type":"module","exports":{".":"./dist/index.development.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"0617371a7dac01576552687da0fc60be545312a3","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.7.0","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.20.4","dependencies":{"marked":"^4.3.0","tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.26.2","react-dom":"^18.2.0","typescript":"^5.4.5","@types/react":"^18.2.15","@types/marked":"^4.3.1","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","@floating-ui/react":"^0.24.7","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.2","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.7","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.1.0"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.3_1721635087480_0.8256724109031377","host":"s3://npm-registry-packages"}},"0.7.4":{"name":"@leanprover/infoview","version":"0.7.4","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.4","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"dc584f1d46cac88b50e743e13b3e3efa87d159f3","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.4.tgz","fileCount":33,"integrity":"sha512-as2/+QQKgtyMdAgvih3NpIUaCXcqmLZB1hPATjpz/fZ+Mw6rGlrIHrHH1eMyfPdwCeHUknc0m4XyYneCS77ypw==","signatures":[{"sig":"MEQCIAoTX/OJcmVvOvMUKxn9JCS2tK4ieVPYTCCRhqz1k/EBAiAYhdcylNbzJsFyMlI7548yoSQtMREjGhmsWc5KzowGRQ==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":946902},"type":"module","exports":{".":"./dist/index.production.min.js","./loader":"./dist/loader.production.min.js","./package.json":"./package.json"},"gitHead":"882858ff5db25d4bc14713a3bc303f4dbfbf8509","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.17.0","dependencies":{"marked":"^4.3.0","tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"typesVersions":{"*":{"*":["dist/index.d.ts"],"loader":["dist/loader.d.ts"]}},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.26.2","react-dom":"^18.2.0","typescript":"^5.4.5","@types/react":"^18.2.15","@types/marked":"^4.3.1","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","@floating-ui/react":"^0.24.7","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.2","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.7","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.1.0"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.4_1729044125482_0.33130812626136374","host":"s3://npm-registry-packages"}},"0.7.5":{"name":"@leanprover/infoview","version":"0.7.5","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.5","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"13c2e6d38b9c37876fee2444047b6fc948b0aab1","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.5.tgz","fileCount":33,"integrity":"sha512-F4gPfxUc4Zy5sgD4IkDyeB/JjSitsHEKKATLa2MDrGwwV/9k+YhFKPsxiCWUhGNmvUxzKtc+OiuQLL2rMduLvA==","signatures":[{"sig":"MEYCIQDQ/pOPK4mmam3uv4giTjkFJPIpiV12/94uCr6INni1xQIhAJXymwudbJvaJuFzYihHvnzipwPaBi3KbiE4WrcvgI7h","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":946861},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"276850a2ecc93f58578b95c22ee91bb9d864c9de","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.17.0","dependencies":{"marked":"^4.3.0","tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^3.26.2","react-dom":"^18.2.0","typescript":"^5.4.5","@types/react":"^18.2.15","@types/marked":"^4.3.1","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","@floating-ui/react":"^0.24.7","@rollup/plugin-url":"^8.0.1","@rollup/plugin-terser":"^0.1.0","@rollup/plugin-replace":"^5.0.2","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^23.0.7","@rollup/plugin-typescript":"^9.0.2","@rollup/plugin-node-resolve":"^15.1.0"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.5_1729045628132_0.6931803121757012","host":"s3://npm-registry-packages"}},"0.7.6":{"name":"@leanprover/infoview","version":"0.7.6","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.6","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"d2b400f8aed1c717abf88aa78ad86773adfc0530","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.6.tgz","fileCount":33,"integrity":"sha512-zW3DTIyXsWbe9d4Jl6r6yCDSENZTRo+SZBeTbCNS62GFn/hYypFa+WLeIU/39kbwTaaUHxUBKB7MrihWKeTNFQ==","signatures":[{"sig":"MEUCIGXuJcQMx87uEtkVN/ThmTwzFIkc6ltGQhcmXZqy29fNAiEAwq9DAamX85l38JPnnA/OBhTnE27yBArBduEC9Cw75Bo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":2775272},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"c045092b084091138e4107fba9b40201038de913","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.7.0","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.20.4","dependencies":{"tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.6_1729184401934_0.3232459658768734","host":"s3://npm-registry-packages"}},"0.7.7":{"name":"@leanprover/infoview","version":"0.7.7","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.7","maintainers":[{"name":"mhuisi","email":"mhuisi@protonmail.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"clovett","email":"clovett@microsoft.com"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"}],"dist":{"shasum":"c99012c3908552f77d79a3ae9622c0a1884156b2","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.7.tgz","fileCount":33,"integrity":"sha512-JysdTqw7n4Wt25c89lka+uYQXH88TFDYSHdUE7RPMvqq+pFe962XUUJ4fyhDrPnQs7l/ZHDjYGBFnm6ftuPLtA==","signatures":[{"sig":"MEYCIQCh/gNEeAgw57zlV8tSmfpV4sUiHXw2A2C8bpMRdW7XswIhAKykrDuttCxk32YjHhqX4luqj1VLQGk2knDGxViwkmqN","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":2775272},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"d5f58369ac29fb9a02bd6688b6ff2ce8ccff02f4","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.7.0","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.20.4","dependencies":{"tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","@vscode/webview-ui-toolkit":"^1.4.0","vscode-languageserver-protocol":"^3.17.3"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.7_1729207205885_0.5465385218596561","host":"s3://npm-registry-packages"}},"0.7.9":{"name":"@leanprover/infoview","version":"0.7.9","license":"Apache-2.0","_id":"@leanprover/infoview@0.7.9","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"0bf6e77dbf2f63a891310291d38c6d499cbd9e8f","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.7.9.tgz","fileCount":33,"integrity":"sha512-gTvsYvVpgGyRFyYWgfed1oL7SXb5Z6nCgMxcBOK8HniYNfj8O0s3l+O/C0Uzh5wC/Iu2b81+wBoDa9O7fxScfA==","signatures":[{"sig":"MEQCIElfm7mNyLpzghV2Jst/4sSd4UvwKB+uehE2VpBzCg4HAiBNizhmik8/UESVC5DR2zwjZkU3tNYi9RY8aVsbjzwnCA==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":2782776},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"08f121b8f820a31225dc3b695696c0242177be23","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"18.20.5","dependencies":{"tachyons":"^4.12.0","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.4.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.7.9_1733418471741_0.2717878546600516","host":"s3://npm-registry-packages"}},"0.8.0":{"name":"@leanprover/infoview","version":"0.8.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.8.0","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"048c59a7dd591698eef9ed2b38050a17cc96a573","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.8.0.tgz","fileCount":33,"integrity":"sha512-KNun6UdMtJbPHXcCL6zq8B/mvOYiqYlfU5W8xYwcJjXCQUZlrOJJRApHgM6GLxy3G0cPD5IYL0kCPUsfXsLA+g==","signatures":[{"sig":"MEUCIGb/f0kGJ9gy5W78ubfkj4XsjcxFce0MMgVN3ZiLiQveAiEA7fcp2RxiLbhuQKs6x8JQg4ztJVCS+PxbFEeawfemBTM=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":2798642},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"829af4bb605e09174056f6261b55cf5b2c828064","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.17.0","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.5.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.8.0_1736773007863_0.33130253714876345","host":"s3://npm-registry-packages-npm-production"}},"0.8.1":{"name":"@leanprover/infoview","version":"0.8.1","license":"Apache-2.0","_id":"@leanprover/infoview@0.8.1","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"ecc49932aa8b121cea59c82f9625b9149f0e568b","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.8.1.tgz","fileCount":33,"integrity":"sha512-VIWpqGGm0nr+vfXxONt2fgy4oXllXpaWWn+hM4QnS7nMzbrglkjqJ+GU6ymYhVEUqa+noo+9mvGaqLA83GhTQg==","signatures":[{"sig":"MEUCIALxoaRSb6bREq+D3bAaFz5HLDa7fbW5zo5xRoerYqTfAiEA+/FXJcMl8MHYTtOkYr33uwa12N9l6zbjry1CZsRWX5Q=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2798685},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"256a36cccb0942e2099021946af2d7b0c5943c79","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.18.2","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.5.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.8.1_1738243169999_0.11460373460194195","host":"s3://npm-registry-packages-npm-production"}},"0.8.2":{"name":"@leanprover/infoview","version":"0.8.2","license":"Apache-2.0","_id":"@leanprover/infoview@0.8.2","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"5b760b67a4f0029370bd9a1d277aedbdf7cf2061","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.8.2.tgz","fileCount":33,"integrity":"sha512-rDC4fD1ui44ON/L4d4N3Kkp/muYj3NSQI0HhdbKaCGqt5D2FSlmdVLZAcvfMqMhkV1MuoowxFG1v/nCdgDcKKg==","signatures":[{"sig":"MEQCIAQID7VxAsvHrGJPUV+21MMif5nJgC6wSGXkx2zzWQPfAiBl34expjZ6qJVRdj9c4W0mI0wI1N0uZTYOmmt00Xg5eA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2798642},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"fa03bbc40b032474bf187c8d2fc34dfda9b06efe","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.18.2","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.5.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.8.2_1740498146100_0.14020682013521002","host":"s3://npm-registry-packages-npm-production"}},"0.8.3":{"name":"@leanprover/infoview","version":"0.8.3","license":"Apache-2.0","_id":"@leanprover/infoview@0.8.3","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"d2d988a9416d0652872f1f72c4601c332207073f","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.8.3.tgz","fileCount":33,"integrity":"sha512-DBIM9ZaQMwtNftxpu72gZ1hBalLjxBFSmHgZY9uwI+L254U79/10qRBhauYUxiWah5RMj5AqgkuXSE3vcj9Q1A==","signatures":[{"sig":"MEUCIQDeRjT5E5yMTh82cqNK87qscJZQ4ix4E4JC0t3aPDLhVAIgQlRsDLJwH02nPIN62ykAoWzLOCt9d0RSQwmR+bPTXdo=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2798815},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"82a347b7d406a2f23a124e772fec0dc2ea7b136f","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.19.0","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.6.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.8.3_1743081916182_0.9480431041393891","host":"s3://npm-registry-packages-npm-production"}},"0.8.4":{"name":"@leanprover/infoview","version":"0.8.4","license":"Apache-2.0","_id":"@leanprover/infoview@0.8.4","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"9837bfc0969d8343e23068269ce00e18df5d1517","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.8.4.tgz","fileCount":33,"integrity":"sha512-9gIlI3ukrkq1HLxk9WBBz/gEF2Pa9NHHq41YXSYuqa+izwVN4WNYMM1z4Fkw25PMwExcgvDHk5uQK0gZgh6zEA==","signatures":[{"sig":"MEUCIAkbW0ac0+1KBsvW9c0gUM6uLgenareTfRJJhaOjQ+2SAiEA4XYALNpnuCK9WNbCqNs8ubRX5773CQXaFTwudQk5jTk=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2802076},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"44bf3e6ce3a151ab457c061e16be2508066a518d","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.19.0","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.7.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.8.4_1745419499734_0.5892630425433354","host":"s3://npm-registry-packages-npm-production"}},"0.8.5":{"name":"@leanprover/infoview","version":"0.8.5","license":"Apache-2.0","_id":"@leanprover/infoview@0.8.5","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"87486fde7b565fbffd4ba77d485cbc45fa90f255","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.8.5.tgz","fileCount":33,"integrity":"sha512-cNblrv7HE5MBxVUvD8bdeb/5Wn8wg/r37UMQ09AYhWx7P7NkCc95MkP1UMj62yTF/1GTCSxeoEQM8mFWAKtMog==","signatures":[{"sig":"MEYCIQDONJsKF7OZcmgaUxsFhQEt8JIyyLsFXop5HCKD9tf0YgIhAJWMlNwjrmUrFsH+KJL0YVLwDhlB2AHc9u003C49COZo","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2802103},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"5a938adc7913fbb4e177391bc2b762a35ab29153","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.19.1","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.7.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.8.5_1746028795739_0.12983555569417504","host":"s3://npm-registry-packages-npm-production"}},"0.8.6":{"name":"@leanprover/infoview","version":"0.8.6","license":"Apache-2.0","_id":"@leanprover/infoview@0.8.6","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"a47008fd93249eb3bd2dadf0ffad01b55da56014","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.8.6.tgz","fileCount":33,"integrity":"sha512-Q3qxGEUinZSLMGAE3NaRw84vLP45SELUPbiwME41fpBADgQUwnNrLLNbM5ik6s2YBDyb+XxaQ9tQSpyEMkjOCQ==","signatures":[{"sig":"MEUCIGa91Zber9pKmdaDIWZimMicF920glLKRA87NPITr6k8AiEA+hKKEq0wdaVNlgqvspz437Ha2scVkEoZVFOV8fchKMA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2804108},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"608fc281bd8267174d57f83a88c0c2b70b1a4e2d","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.19.5","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.32","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.8.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.8.6_1757927026849_0.042898047858327626","host":"s3://npm-registry-packages-npm-production"}},"0.9.0":{"name":"@leanprover/infoview","version":"0.9.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.9.0","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"d2a915da3ea393c4fba8bcf407adf1e5d1c5d79d","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.9.0.tgz","fileCount":33,"integrity":"sha512-swRrw4zG1caQWnZFrnAJYPXUPzJIXoSOYSNMGRC6rErC/9ZyM/qmqgEmReNKoGOv0vY1Azq4RAPJOtj6MvTr3A==","signatures":[{"sig":"MEYCIQC8lr4V+SIm9Ft8Sfu7uzmdP3jLgX97VgfyXkSyNb1lkAIhAPUNDRn1GV2pZH82D+yyq6t2oSQwNg1G/rDGTHwBxUwy","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2829013},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"93fb05fcd0637016654f5cbb3a75e37cf2cec7df","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.19.5","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.40","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.9.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.9.0_1758644524089_0.8260561710971752","host":"s3://npm-registry-packages-npm-production"}},"0.10.0":{"name":"@leanprover/infoview","version":"0.10.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.10.0","maintainers":[{"name":"clovett","email":"clovett@microsoft.com"},{"name":"gebner","email":"gebner@gebner.org"},{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"9c3af7218b250b7a2053a0e5bd6dba2fa58ed251","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.10.0.tgz","fileCount":33,"integrity":"sha512-Q6Xgh0XSOjZdCf6+NJ46zHPNLXZTjt3y/G+G7GX8WKvnnjFNddssml5yjnU93D4YtCEsYFaLKMSLU3N843QVwQ==","signatures":[{"sig":"MEUCIHTAMcLKOZr2PX3zrkurgcZdHmDhw4HscWvkFLDTH5KCAiEAi6x9ha9EbCb76fTB8JSuOeLygffPn17NwyctWmMXN2k=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2830544},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"258d13fe4f4e9e8ea1b719cb82b145c3d088cb2a","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"mhuisi","email":"mhuisi@protonmail.com"},"_npmVersion":"10.8.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"20.19.5","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.40","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.10.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.10.0_1760367791971_0.6621312879804779","host":"s3://npm-registry-packages-npm-production"}},"0.11.0":{"name":"@leanprover/infoview","version":"0.11.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.11.0","maintainers":[{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"dist":{"shasum":"9f6977ae364a6f9ded93ed3fca6f06a41f8f5b58","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.11.0.tgz","fileCount":33,"integrity":"sha512-7E2ZhFBA6bbwFJhzDsnXtaJFDQj+bHL6faXiHTGWO0OMrK05cIOfG6yXZZ0RAjI6JOBoQwv8nhb6QObnnts8bQ==","signatures":[{"sig":"MEQCIEKFvMCB/FynGnxw7uzzMmfew+wqVbH34tvOcj97qOMRAiANM9viqzQxjYwZEf2eTN/Fm1pIUDR0e5BdgAuiLreAGw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2830751},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"8ae6710deae85b9f7b379e4fd3cf6a7495ec1424","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"_npmVersion":"11.6.2","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"24.12.0","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.40","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.11.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.11.0_1772149647030_0.6803004007005427","host":"s3://npm-registry-packages-npm-production"}},"0.11.1":{"name":"@leanprover/infoview","version":"0.11.1","license":"Apache-2.0","_id":"@leanprover/infoview@0.11.1","maintainers":[{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"homepage":"https://github.com/leanprover/vscode-lean4#readme","bugs":{"url":"https://github.com/leanprover/vscode-lean4/issues"},"dist":{"shasum":"baca6449536b9dabe4aa54b450529d264ba53a6f","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.11.1.tgz","fileCount":33,"integrity":"sha512-7eMHwj4X7wMfrKCxqSWuwY+vQD++9STsx1A/hT7TWMuI8en1frfGbRDZsKQJ176S7KDRC1N9A1Q5ztffpwuEgA==","signatures":[{"sig":"MEUCIQCMLPL23mgx3EcU2IF6KFws+oKD0cnQ7t1jRdxq8jy9QgIgWSKR2x0Dnetcl300zbl9QPKyeAz/BtQ00mI9nCcMRzU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanprover%2finfoview@0.11.1","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":2830865},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"gitHead":"588356a808e765d474f418460aa7f1eaf5095fc4","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","watchTest":"npm run watch"},"_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:cd9768c7-e9f1-4e06-9914-a2c5fc0070a1"}},"repository":{"url":"git+https://github.com/leanprover/vscode-lean4.git","type":"git"},"_npmVersion":"11.9.0","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"24.14.0","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^1.7.3","@vscode/codicons":"^0.0.40","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.11.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","react-markdown":"^9.0.1","rehype-mathjax":"^6.0.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^0.4.4","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^28.0.0","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^15.1.0","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.11.1_1772843914289_0.159469388793108","host":"s3://npm-registry-packages-npm-production"}},"0.12.0":{"name":"@leanprover/infoview","version":"0.12.0","license":"Apache-2.0","_id":"@leanprover/infoview@0.12.0","maintainers":[{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"homepage":"https://github.com/leanprover/vscode-lean4#readme","bugs":{"url":"https://github.com/leanprover/vscode-lean4/issues"},"dist":{"shasum":"3073bfb33e8c9d6b2ed5085288f5faca3b9e3088","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.12.0.tgz","fileCount":33,"integrity":"sha512-4DbTpK1lmqrpPb+kBFdcDW44kbB26NGtvlIzDLozmvbWkoqajlJdo+Fw3paXga0/9GnOP+KuO019n3obeaMDRg==","signatures":[{"sig":"MEYCIQCeFIaXboc51/cbpuzziixQlbrmHycQbCUVzNjD5JZT4wIhAOOKK67tGevXZqM9yxqOsZf/wT4805hm69zxK7C0BLJ+","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2869053},"type":"module","exports":{".":{"types":"./dist/index.d.ts","default":"./dist/index.production.min.js","development":"./dist/index.development.js"},"./loader":{"types":"./dist/loader.d.ts","default":"./dist/loader.production.min.js","development":"./dist/loader.development.js"},"./package.json":"./package.json"},"gitHead":"5a3666485d77bb42d7450f2e51e10d1254d9d5d8","scripts":{"test":"tsc -p test/tsconfig.json","build":"rollup --config --environment NODE_ENV:production","watch":"rollup --config --environment NODE_ENV:development --watch","build:dev":"rollup --config --environment NODE_ENV:development","watchTest":"npm run watch"},"_npmUser":{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},"repository":{"url":"git+https://github.com/leanprover/vscode-lean4.git","type":"git"},"_npmVersion":"11.10.1","description":"An interactive display for the Lean 4 theorem prover.","directories":{},"_nodeVersion":"25.7.0","dependencies":{"tachyons":"^4.12.0","es-module-lexer":"^1.5.4","es-module-shims":"^2.8.0","@vscode/codicons":"^0.0.40","react-fast-compare":"^3.2.2","@leanprover/infoview-api":"~0.12.0","vscode-languageserver-protocol":"^3.17.3","@vscode-elements/react-elements":"^0.5.0"},"_hasShrinkwrap":false,"devDependencies":{"react":"^18.2.0","rollup":"^4.24.0","react-dom":"^18.2.0","typescript":"^5.4.5","remark-math":"^6.0.0","@types/react":"^18.2.15","mathjax-full":"~3.2.2","react-markdown":"^9.0.1","rehype-mathjax":"^7.1.0","current-release":"npm:@leanprover/infoview@latest","@types/react-dom":"^18.2.7","highlightjs-lean":"^1.2.0","@floating-ui/react":"^0.26.25","@rollup/plugin-url":"^8.0.1","@rollup/plugin-json":"^6.1.0","@rollup/plugin-terser":"^1.0.0","@rollup/plugin-replace":"^6.0.1","rollup-plugin-css-only":"^4.3.0","@rollup/plugin-commonjs":"^29.0.2","react-syntax-highlighter":"^15.5.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-node-resolve":"^16.0.3","@types/react-syntax-highlighter":"^15.5.13"},"_npmOperationalInternal":{"tmp":"tmp/infoview_0.12.0_1773445281989_0.7782935355754979","host":"s3://npm-registry-packages-npm-production"}},"0.13.0":{"name":"@leanprover/infoview","version":"0.13.0","description":"An interactive display for the Lean 4 theorem prover.","repository":{"type":"git","url":"git+https://github.com/leanprover/vscode-lean4.git"},"scripts":{"watch":"rollup --config --environment NODE_ENV:development --watch","build":"rollup --config --environment NODE_ENV:production","build:dev":"rollup --config --environment NODE_ENV:development","watchTest":"npm run watch","test":"tsc -p test/tsconfig.json"},"exports":{".":{"types":"./dist/index.d.ts","development":"./dist/index.development.js","default":"./dist/index.production.min.js"},"./loader":{"types":"./dist/loader.d.ts","development":"./dist/loader.development.js","default":"./dist/loader.production.min.js"},"./package.json":"./package.json"},"type":"module","license":"Apache-2.0","devDependencies":{"@floating-ui/react":"^0.26.25","@rollup/plugin-commonjs":"^29.0.2","@rollup/plugin-json":"^6.1.0","@rollup/plugin-node-resolve":"^16.0.3","@rollup/plugin-replace":"^6.0.1","@rollup/plugin-terser":"^1.0.0","@rollup/plugin-typescript":"^12.1.0","@rollup/plugin-url":"^8.0.1","@types/react":"^18.2.15","@types/react-dom":"^18.2.7","@types/react-syntax-highlighter":"^15.5.13","current-release":"npm:@leanprover/infoview@latest","highlightjs-lean":"^1.2.0","react":"^18.2.0","react-dom":"^18.2.0","react-markdown":"^9.0.1","react-syntax-highlighter":"^15.5.0","remark-math":"^6.0.0","rehype-mathjax":"^7.1.0","mathjax-full":"~3.2.2","rollup":"^4.24.0","rollup-plugin-css-only":"^4.3.0","typescript":"^5.4.5"},"dependencies":{"@leanprover/infoview-api":"~0.13.0","@vscode/codicons":"^0.0.40","@vscode-elements/react-elements":"^0.5.0","es-module-lexer":"^1.5.4","es-module-shims":"^2.8.0","react-fast-compare":"^3.2.2","tachyons":"^4.12.0","vscode-languageserver-protocol":"^3.17.3"},"gitHead":"66528403779d277160f1e9b9ee54de1ac24b8fec","_id":"@leanprover/infoview@0.13.0","bugs":{"url":"https://github.com/leanprover/vscode-lean4/issues"},"homepage":"https://github.com/leanprover/vscode-lean4#readme","_nodeVersion":"24.14.1","_npmVersion":"11.11.0","dist":{"integrity":"sha512-H/nocA4VMbFPd/8dLZd9eXUsDvhRoUFycocmFIbqAoMJzKR/FkHrChfx6jhnCae4zcoBmTSqmAFUfEzaXFszkQ==","shasum":"1f0843748161346cb6438912ed9b0770a6d683bb","tarball":"https://registry.npmjs.org/@leanprover/infoview/-/infoview-0.13.0.tgz","fileCount":33,"unpackedSize":2870219,"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanprover%2finfoview@0.13.0","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEQCIBsDDiLlsM6XxKm65ZPCpFsmHI2A3OOe0Fg710D3k4lxAiAEtHPJp2KidpoC+mVDXR2Bb3gjIoG3f5jz0OTGXYemQA=="}]},"_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:cd9768c7-e9f1-4e06-9914-a2c5fc0070a1"}},"directories":{},"maintainers":[{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/infoview_0.13.0_1776083837005_0.5122384821023258"},"_hasShrinkwrap":false}},"time":{"created":"2022-07-26T21:23:13.830Z","modified":"2026-04-13T12:37:17.474Z","0.1.0":"2022-07-26T21:23:14.216Z","0.2.0":"2022-09-15T18:22:36.472Z","0.3.0":"2022-11-24T02:30:38.193Z","0.4.0":"2022-12-01T19:00:33.134Z","0.4.1":"2022-12-05T19:28:53.351Z","0.4.1-alpha.1":"2023-01-10T02:36:00.928Z","0.4.1-alpha.2":"2023-01-10T02:39:52.266Z","0.4.2-alpha.1":"2023-01-10T02:46:06.066Z","0.4.2-alpha.2":"2023-01-10T02:48:46.483Z","0.4.2":"2023-01-15T02:27:06.184Z","0.4.3":"2023-04-07T00:23:22.438Z","0.4.4":"2023-12-07T16:24:23.908Z","0.4.5":"2024-02-17T19:41:58.960Z","0.7.0":"2024-05-07T14:30:44.911Z","0.7.1":"2024-06-19T14:10:48.845Z","0.7.2":"2024-06-20T02:14:27.926Z","0.7.3":"2024-07-22T07:58:07.675Z","0.7.4":"2024-10-16T02:02:05.735Z","0.7.5":"2024-10-16T02:27:08.549Z","0.7.6":"2024-10-17T17:00:02.392Z","0.7.7":"2024-10-17T23:20:06.176Z","0.7.9":"2024-12-05T17:07:52.030Z","0.8.0":"2025-01-13T12:56:48.165Z","0.8.1":"2025-01-30T13:19:30.234Z","0.8.2":"2025-02-25T15:42:26.534Z","0.8.3":"2025-03-27T13:25:16.454Z","0.8.4":"2025-04-23T14:45:00.001Z","0.8.5":"2025-04-30T15:59:55.998Z","0.8.6":"2025-09-15T09:03:47.120Z","0.9.0":"2025-09-23T16:22:04.298Z","0.10.0":"2025-10-13T15:03:12.242Z","0.11.0":"2026-02-26T23:47:27.297Z","0.11.1":"2026-03-07T00:38:34.494Z","0.12.0":"2026-03-13T23:41:22.172Z","0.13.0":"2026-04-13T12:37:17.195Z"},"bugs":{"url":"https://github.com/leanprover/vscode-lean4/issues"},"license":"Apache-2.0","homepage":"https://github.com/leanprover/vscode-lean4#readme","repository":{"type":"git","url":"git+https://github.com/leanprover/vscode-lean4.git"},"description":"An interactive display for the Lean 4 theorem prover.","maintainers":[{"name":"vtec234","email":"wjnawrocki+gh@protonmail.com"},{"name":"mhuisi","email":"mhuisi@protonmail.com"}],"readme":"# Lean 4 Infoview\n\nThe Lean 4 infoview is a React app providing an interactive display of messages, errors, proof states, and other outputs of Lean elaboration. Its capabilities can be extended using *user widgets* which may import `@leanprover/infoview` to access builtin functionality. This page contains technical information about how to embed the infoview in an editor plugin. For a friendly guide to user widgets, go [here](https://leanprover.github.io/lean4/doc/examples/widgets.lean.html) instead.\n\n## Hosting\n\nThe infoview can be hosted within any LSP-compatible editor capable of displaying a webpage (e.g. a web-based editor, or via a WebKit panel, or in an external browser) and communicating with said webpage (e.g. via [`Window.postMessage`](https://developer.mozilla.org/en-US/docs/Web/API/Window/postMessage)). The hosting editor must also be capable of sending duplicates of received and emitted LSP notifications to the infoview, as well as of relaying LSP requests between the infoview and the LSP server. There are specific requirements on how the infoview code is loaded — see below.\n\n⚠️ WARNING: Note that we have not tested the infoview outside of VSCode, so it is likely that a port to any other environment will need to generalize VSCode-specific parts.\n\n## Loading the infoview\n\nMaking user widgets dynamically loadable requires going through some contortions. The package exposes two entrypoints — `@leanprover/infoview` itself and `@leanprover/infoview/loader`. The former contains the React app. It is an ECMAScript module which *must* be loaded as a module into a runtime environment with:\n- support for [dynamic `import`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/import); and\n- a properly set up [`importmap`](https://github.com/WICG/import-maps).\n\nIn particular, `@leanprover/infoview` should not be transpiled into something like UMD by a bundler. To make this a bit easier, we provide the [`@leanprover/infoview/loader`](./src/loader.ts) entrypoint which creates such an environment and loads the infoview into it. To use it, `import` it as usual (the loader *can* be bundled) and see documentation on the code.\n\n(The alternative to using `/loader` is to embed the infoview in a webpage using `<script type=\"module\" ..>` or to use a dynamic loader such as [SystemJS](https://github.com/systemjs/systemjs).)\n\n## Editor support\n\n- VSCode via [`vscode-lean4`](https://github.com/leanprover/vscode-lean4)\n- Web playground via [`lean4web`](https://github.com/leanprover-community/lean4web)\n- IntelliJ via [`Lean4ij`](https://github.com/onriv/lean4ij)\n","readmeFilename":"README.md"}