Software Foundations

Solutions (in Coq) of the exercises in the software foundation books.

Useful links

• Coq Library 8.9

• Coq Library 8.15

• Software foundations

  • Volume 1

Contributing

Contributions to this project are welcome! If you have any suggestions, improvements, or bug fixes, feel free to submit a pull request.

License

This repository is licensed under the GNU General Public License (GPL). Please review the license file provided in the repository for more information regarding the terms and conditions of the GPL license.

Contact

If you have any questions or suggestions regarding this repository, please don't hesitate to reach out. You can contact us via the GitHub repository or through the following channels:

• Email: [federico.bruzzone.i@gmail.com] or [federico.bruzzone@studenti.unimi.it]