From 7eb57eef9ffa9a622bf67dd039a0a8ec028db884 Mon Sep 17 00:00:00 2001 From: Robbert Krebbers Date: Mon, 15 Jul 2024 11:35:47 +0200 Subject: [PATCH 1/2] Add course Robbert Krebbers --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index eff247d..3ce6154 100644 --- a/README.md +++ b/README.md @@ -266,6 +266,7 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq - [MathComp School](https://github.com/gares/math-comp-school-2022) - Coq sources for lessons and exercises that introduce the SSReflect proof language and the Mathematical Components library. - [Mechanized Semantics](https://github.com/xavierleroy/cdf-mech-sem) - Companion Coq sources for a course on programming language semantics at Collège de France. - [Program Logics](https://github.com/xavierleroy/cdf-program-logics) - Companion Coq sources for a course on program logics at Collège de France. +- [Program verification with types and logic](https://gitlab.science.ru.nl/program-verification/course-2023-2024) - A course on program language semantics, type systems and program logics, using Coq, at Radboud University Nijmegen. - [Proofs and Reliable Programming using Coq](https://team.inria.fr/stamp/proofs-and-reliable-programming-using-coq-2022/) - Introduction to developing and verifying programs with Coq. ### Tutorials and Hints From 98382779f270ed08d6b754bedcd0c6517d94984d Mon Sep 17 00:00:00 2001 From: Robbert Krebbers Date: Mon, 15 Jul 2024 11:47:44 +0200 Subject: [PATCH 2/2] Update README.md Co-authored-by: Karl Palmskog --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3ce6154..6ffeb3d 100644 --- a/README.md +++ b/README.md @@ -266,7 +266,7 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq - [MathComp School](https://github.com/gares/math-comp-school-2022) - Coq sources for lessons and exercises that introduce the SSReflect proof language and the Mathematical Components library. - [Mechanized Semantics](https://github.com/xavierleroy/cdf-mech-sem) - Companion Coq sources for a course on programming language semantics at Collège de France. - [Program Logics](https://github.com/xavierleroy/cdf-program-logics) - Companion Coq sources for a course on program logics at Collège de France. -- [Program verification with types and logic](https://gitlab.science.ru.nl/program-verification/course-2023-2024) - A course on program language semantics, type systems and program logics, using Coq, at Radboud University Nijmegen. +- [Program verification with types and logic](https://gitlab.science.ru.nl/program-verification/course-2023-2024) - Lectures and exercise material for a course in programming language semantics, type systems and program logics, using Coq, at Radboud University Nijmegen. - [Proofs and Reliable Programming using Coq](https://team.inria.fr/stamp/proofs-and-reliable-programming-using-coq-2022/) - Introduction to developing and verifying programs with Coq. ### Tutorials and Hints