README.md
setup.py
mathlibtools/__init__.py
mathlibtools/auth_github.py
mathlibtools/delayed_interrupt.py
mathlibtools/leanproject.py
mathlibtools/lib.py
mathlibtools/post-checkout
mathlibtools/post-commit
mathlibtools.egg-info/PKG-INFO
mathlibtools.egg-info/SOURCES.txt
mathlibtools.egg-info/dependency_links.txt
mathlibtools.egg-info/entry_points.txt
mathlibtools.egg-info/requires.txt
mathlibtools.egg-info/top_level.txt