first Coq tutorial + gitignore
gitignore