Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

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/).