https://github.com/kamirus/coq-course

Coq course materials with my solutions
https://github.com/kamirus/coq-course

coq course-materials dependent-types formal-proofs

Last synced: about 1 month ago
JSON representation

Coq course materials with my solutions

• Host: GitHub
• URL: https://github.com/kamirus/coq-course
• Owner: Kamirus
• Created: 2019-02-28T21:58:07.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-03-29T00:30:34.000Z (almost 5 years ago)
• Last Synced: 2024-11-03T22:04:07.607Z (3 months ago)
• Topics: coq, course-materials, dependent-types, formal-proofs
• Language: Coq
• Homepage:
• Size: 1.31 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project