Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
Sometimes when editing a justification an error is printed in the browser console. This doesn't affect user experience but suggests there is something incorrect with implementation of some custom React components.
MUI: Too many re-renders. The layout is unstable.
TextareaAutosize limits the number of renders to prevent an infinite loop.
at TextareaAutosize (http://localhost:3000/static/js/bundle.js:33485:7)
at http://localhost:3000/static/js/bundle.js:30509:66
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at InputBase (http://localhost:3000/static/js/bundle.js:44753:83)
at OutlinedInput (http://localhost:3000/static/js/bundle.js:48349:82)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at FormControl (http://localhost:3000/static/js/bundle.js:42948:82)
at http://localhost:3000/static/js/bundle.js:30509:66
at TextField (http://localhost:3000/static/js/bundle.js:53837:83)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at Expln_React_Column (http://localhost:3000/static/js/bundle.js:29423:24)
at td
at tr
at tbody
at table
at http://localhost:3000/main.8adb582c69865d886875.hot-update.js:497:28
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at Expln_React_Column (http://localhost:3000/static/js/bundle.js:29423:24)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at Expln_React_Column (http://localhost:3000/static/js/bundle.js:29423:24)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at Expln_React_Column (http://localhost:3000/static/js/bundle.js:29423:24)
at Expln_React_ContentWithStickyHeader (http://localhost:3000/static/js/bundle.js:28746:19)
at MM_cmp_editor (http://localhost:3000/static/js/bundle.js:11814:27)
at div
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at div
at http://localhost:3000/static/js/bundle.js:30509:66
at Grid (http://localhost:3000/static/js/bundle.js:58755:73)
at Expln_React_Column (http://localhost:3000/static/js/bundle.js:29423:24)
at Expln_React_ContentWithStickyHeader (http://localhost:3000/static/js/bundle.js:28746:19)
at ThemeProvider (http://localhost:3000/static/js/bundle.js:58242:5)
at ThemeProvider (http://localhost:3000/static/js/bundle.js:58627:5)
at ThemeProvider (http://localhost:3000/static/js/bundle.js:55642:14)
at MM_cmp_root (http://localhost:3000/static/js/bundle.js:14804:36)
at App
Sometimes when editing a justification an error is printed in the browser console. This doesn't affect user experience but suggests there is something incorrect with implementation of some custom React components.