├── .gitignore └── README.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xgrommx/coq-ecosystem/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xgrommx/coq-ecosystem/HEAD/README.md --------------------------------------------------------------------------------