started predicates + new branch
grammar changed
extra minor changes
minor+parser
+parser
parser is done(fully), minor improvements
diff, proofchecker
+annotator
proofmaker updated
tasks 1-3 formatted well
minor changes
4 prover added + little test
uncommented main parts, lol
fourth task done