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
Add support for equational proofs and double equations
Edit over parsing and added strip_comb
Demonadization of CheckYourProof except the parsing
Added Fixities as well as function definitions
Added License Information
remove deade code
more
Change more DataTypes
add case in error