Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://gitlab.science.ru.nl/program-verification/course-2023-2024
https://gitlab.science.ru.nl/program-verification/course-2023-2024
Last synced: 3 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 (12 months ago)
- Default Branch: master
- Last Synced: 2024-07-19T21:31:49.936Z (6 months 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))