25 lines
856 B
Markdown
25 lines
856 B
Markdown
# asciiprooftree
|
|
|
|
Format and reformat ascii proof trees like this one:
|
|
|
|
```text
|
|
§ *
|
|
§ ----------------------------- [;] 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:
|
|
|
|
```shell
|
|
java -jar asciiprooftree.jar path/to/your/src
|
|
```
|
|
|
|
If you want to use a different marker string than `§`, you can use the `--marker` option:
|
|
|
|
```shell
|
|
java -jar asciiprooftree.jar path/to/your/src --marker 't>'
|
|
```
|