Garmelon/asciiprooftree
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Create project

Browse source
This commit is contained in:
Joscha 2024-09-04 15:53:15 +02:00
commit 09ee1bc74c
8 changed files with 79 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
README.md Normal file
View file

@ -0,0 +1,13 @@
# 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
```