>The core implementation is under 700 lines of JS, including the parser: 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.