Skip to content

Latest commit

 

History

History
16 lines (10 loc) · 492 Bytes

README.md

File metadata and controls

16 lines (10 loc) · 492 Bytes

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.