Skip to content

Eggy115/Coq

Coq

Coq

Contributing

Contributions are always welcome! Here are some ways you can contribute:

  1. Fork the repository and make your changes.
  2. Submit a pull request with your changes.
  3. Create an issue if you find a bug or have a feature request.

Please make sure to adhere to the code of conduct and the contributing guidelines.

License

This project is licensed under the GPL v3 License - see the LICENSE file for details.