Mathologer Reference project for lecture on Consolidation Training. It is composed of two branches: master solution