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

Stars0

Forks0

Last commit

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

Mechanized Semantics

Overview

Related Projects

Found a gem we're missing?

Tags

Built With

Included in