GitHub repository: puttimanoj/LeanLearner
Description: Started new repository for practice