I'm not sure whether this is a better fit for TeX.SE or Stackoverflow, but given that it's mostly TeX-centric, I figured the TeX hive mind here would be the best fit.
I'd like to have a GUI document processor for writing fitch-style logic proofs, like those created with the LPLFitch package. I'd want it to be entirely WYSIWYG (what you see is what you get), without requiring the user to interact with the TeX code directly, but using LaTeX in the back-end. Additionally, I'd like to have it be entirely self-contained, not requiring an installation of LaTeX on the user's machine. It would be used to help students with not TeX experience produce such proofs.
The question I have is what existing, open source, resources are there out there? The only thing of the sort I'm familiar with is LyX, but that aims at a full scale implementation of LaTeX, as opposed to the very minimal processor I have in mind, which would utilize only a very small number of packages and minimal subset of LaTeX's full power.
- Document processor that is entirely WYSIWYG.
- Would have a few buttons to insert the necessary symbols, and would render those symbols immediately (either by inserting them as unicode symbols, or a quick compilation run).
- Wouldn't require knowledge of LaTeX on the user-end, and wouldn't require a full LaTeX installation on users' machines.
- Would produce Fitch-style natural deduction proofs, like those in the LPLFitch package.
- What existing open source resources are out there that I could build off of?
- What advice would you have for implementing something like this from scratch (e.g., use LuaTeX or some more programmatic flavor of TeX)?
- Is this even a good idea, or am I just letting my familiarity with LaTeX blind me to better solutions?
I realize this is a pretty open-ended and underdeveloped question. It's an idea I'm just starting out with and something I don't have a slew of experience with, but a project I'd like to pursue. I understand fully if the question is not appropriate for the site in its current form.