Home

Awesome

Provably Awesome.

This is a curated list of links and resources related to mathematical proofs about the properties of computer programs.

Table of Contents

Languages

Proof Assistants

Projects

Books

Courses

More