Program verification with types and logic

0 stars0 forks0 contributors

Overview

Lectures and exercise material for a course in programming language semantics, type systems and program logics, using Coq, at Radboud University Nijmegen

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

Last commit

Created

Links & Resources

Website

Included in

Coq380

Lectures on Software Foundations

Software Foundations

Stars153

Forks37

Last commit2 years ago

Proofs and Reliable Programming using Coq

Introduction to developing and verifying programs with Coq

Stars0

Forks0

Last commit

An Introduction to MathComp-Analysis

Lecture notes on getting started with the Mathematical Components library and using it for classical reasoning and real analysis

Stars0

Forks0

Last commit

Foundations of Separation Logic

Introduction to using separation logic to reason about sequential imperative programs in Coq

Stars0

Forks0

Last commit