https://github.com/d-krylov/software_foundations

https://github.com/d-krylov/software_foundations

rocq software-foundations

Last synced: 4 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/d-krylov/software_foundations
• Owner: d-krylov
• License: mit
• Created: 2025-06-19T16:12:21.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-08-06T06:45:13.000Z (11 months ago)
• Last Synced: 2025-10-29T08:53:53.454Z (8 months ago)
• Topics: rocq, software-foundations
• Language: Rocq Prover
• Homepage:
• Size: 10.7 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

README

          
# software_foundations

1. [Logical Foundations](https://softwarefoundations.cis.upenn.edu/lf-current/index.html)

2. [Verified Functional Algorithms](https://softwarefoundations.cis.upenn.edu/vfa-current/index.html)

3. [Discrete Math in Coq](https://cs.pomona.edu/~michael/courses/csci054s18/book/index.html)