>The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js https://github.com/moonad/

>The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js https://github.com/moonad/FormCoreJS/blob/master/FormCore.js Unfortunately, the source code size isn't the main problem with provers. The UX is much more important one.