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

Code from the "Software Foundations" books
https://github.com/giacomocavalieri/software-foundations

coq software-foundations

Last synced: 7 days ago
JSON representation

Code from the "Software Foundations" books

• Host: GitHub
• URL: https://github.com/giacomocavalieri/software-foundations
• Owner: giacomocavalieri
• Created: 2023-04-12T10:58:15.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-05-02T09:46:42.000Z (over 1 year ago)
• Last Synced: 2024-10-10T21:40:59.518Z (about 1 month ago)
• Topics: coq, software-foundations
• Language: Coq
• Homepage:
• Size: 273 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Software Foundations

A repository I use to put code as I follow along the books in the [_Software Foundations_](https://softwarefoundations.cis.upenn.edu) series.

## Other resources

- [Software Foundations' homepage](https://softwarefoundations.cis.upenn.edu)

- [YouTube playlist on Software Foundations in Coq](https://www.youtube.com/watch?v=BGg-gxhsV4E&list=PLre5AT9JnKShFK9l9HYzkZugkJSsXioFs)

- [Lectures of 2018](https://deepspec.org/event/dsss18/videos.html)

- [Lectures of 2017](https://www.youtube.com/@deepspecsummerschool8748/videos)