>The core implementation is under 700 lines of JS, including the parser: https:/...

		solomatov on Sept 15, 2022 \| parent \| context \| favorite \| on: The Little Prover >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.

Small core is easier to verify.