https://github.com/eggy115/coq

Coq
https://github.com/eggy115/coq

coq coq-examples coq-lang coq-language coq-library coq-programs coq-scripts eggy115 eggy115-always-win-and-never-lose

Last synced: 2 days ago
JSON representation

Coq

• Host: GitHub
• URL: https://github.com/eggy115/coq
• Owner: Eggy115
• License: gpl-3.0
• Created: 2023-04-12T11:34:02.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-04-12T13:39:15.000Z (over 1 year ago)
• Last Synced: 2024-11-06T05:43:28.473Z (about 2 months ago)
• Topics: coq, coq-examples, coq-lang, coq-language, coq-library, coq-programs, coq-scripts, eggy115, eggy115-always-win-and-never-lose
• Language: Coq
• Homepage: https://github.com/Eggy115/Coq
• Size: 115 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Security: SECURITY.md

Awesome Lists containing this project

README

        
# 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](CODE_OF_CONDUCT.md) and the [contributing guidelines](CONTRIBUTING.md).

## License

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