asciiprooftree

Format and reformat ascii proof trees like this one:

§                                                   *
§                                     ----------------------------- [;] compose
§                                     [a;b;]p(||) <-> [a;][b;]p(||)
§                               ----------------------------------------- US
§  [x:=*;][?x>0;][x:=x+1;]x>1   [?x>0;x:=x+1;]x>1 <-> [?x>0;][x:=x+1;]x>1
§  ---------------------------------------------------------------------- RewriteAt
§                         [x:=*;][?x>0;x:=x+1;]x>1

To reformat all proof trees in your project, run:

java -jar asciiprooftree.jar path/to/your/src

If you want to use a different marker string than §, you can use the --marker option:

java -jar asciiprooftree.jar path/to/your/src --marker 't>'