https://gitlab.science.ru.nl/program-verification/course-2023-2024
https://gitlab.science.ru.nl/program-verification/course-2023-2024
Last synced: 9 months ago
JSON representation
- Host: gitlab.science.ru.nl
- URL: https://gitlab.science.ru.nl/program-verification/course-2023-2024
- Owner: program-verification
- License: bsd-3-clause
- Created: 2024-01-26T10:49:01.835Z (almost 2 years ago)
- Default Branch: master
- Last Synced: 2024-10-14T18:31:12.004Z (about 1 year ago)
- Stars: 0
- Forks: 3
- Open Issues:
Awesome Lists containing this project
- awesome-coq - Program verification with types and logic - Lectures and exercise material for a course in programming language semantics, type systems and program logics, using Coq, at Radboud University Nijmegen. (Resources / Course Material)
- trackawesomelist - Program verification with types and logic - Lectures and exercise material for a course in programming language semantics, type systems and program logics, using Coq, at Radboud University Nijmegen. (Recently Updated / [Jul 15, 2024](/content/2024/07/15/README.md))