Homec4science

gitignore/Coq.gitignore
master5ef20ca346f0e0ddb9deb6e…