Mathematical-Logic-Cheatsheet/.gitignore