Initial
detect goal
Refactoring
Making some small induction proofs
change variable to static in makeProof
remove superfluous line from translate
split apply into multiple methods, fixes non-linear patterns
new parsing
parsers
Parser Logic is working and also the left side of a function definition problem (variable -> const) is solved
wip: rework
clean, eol
tuned syntax
read proof by equations
rework
more