Lean Library currently studying for a degree at Imperial College - View it on GitHub