Latex usage

02.01.2019

Contents/Index

Convert BoxProver code to Latex code

The last part, the latex part, should by done now ("should" be explained later). I have chosen the boxproof plugin. The result seems a bit prettier than the native logicproof plugin. And (and this is a big and) I have had trouble writing too nested proofs using logicproof. Anyway, paste BoxProver into the textbox below and click parse (omit the head as explained in the html section)

If you for what ever reason want to have this parser running on your own page, you can grab the boxproofs.js file from the Git Repo. Then obtain latex code as thus

var bproofs = new BoxProofs(); //returns a string of latex code var lcode = bproofs.createBoxLatex(null,code_input);

For the "should" part. Should you find any errors that will parse in BoxProver but not in this here application, please report by commenting below.

Comments(guest) tecanec (22-04-2023 13:48:52)Thanks for making this! I had a problem where the tool would fail when a '(' would appear right after a keyword; whitespace was required in-between. BoxProover does not have such a rule, so I had to manually add whitespace wherever necessary. I also had one instance where it failed when one parameter of an "exi_i" was enclosed in parenthesis. I had to replace it with a dummy value.(guest) tecanec (22-04-2023 14:23:11)Oh, and if a block is entered immediately after introducing a variable, the variable won't render in LaTeX. That may as well be an issue with the boxproof plugin, though.(guest) brkmnd (06-01-2019 11:18:53)And remember to look for updates in the git-repo.Guest Name:Comment: