https://github.com/federicobruzzone/software-foundations

Solutions (in Coq) of the exercises in the software foundation books.
https://github.com/federicobruzzone/software-foundations

coq coq-library functional-programming ocaml software-foundations

Last synced: about 1 month ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/federicobruzzone/software-foundations
• Owner: FedericoBruzzone
• License: gpl-3.0
• Created: 2023-10-01T08:13:27.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-08-12T15:58:08.000Z (3 months ago)
• Last Synced: 2024-09-30T20:42:44.573Z (about 2 months ago)
• Topics: coq, coq-library, functional-programming, ocaml, software-foundations
• Language: HTML
• Homepage:
• Size: 8.59 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Software Foundations

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

## Useful links

- [Coq Library 8.9](https://web.mit.edu/jgross/Public/tmp/doc/sphinx/_build/html/language/coq-library.html#)

- [Coq Library 8.15](https://coq.inria.fr/doc/V8.15+rc1/refman/index.html#)

- [Software foundations](https://softwarefoundations.cis.upenn.edu/)

    - [Volume 1](https://softwarefoundations.cis.upenn.edu/lf-current/toc.html)

## 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)](https://www.gnu.org/licenses/gpl-3.0.html). 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, suggestions, or feedback, do not hesitate to [contact me](https://federicobruzzone.github.io/).