Output directories reorg and some cleaning
Automatically fix of tabs using emacs
Implementing imp-left rule for mimp-graphs and minor adjusts
Fixing imp-left rule implementation
Coloring non-proved sequents
Minor adjusts
Updated lib list in the README file
Formulas input through the interface of love2d
Implementing the loop checker procedure
Tests changes and unchanges.