isabelle-hol topic

A curated set of links to formal methods involving provable code.

awesomo4000

Cogent Project

au-ts

Readings on computational logic, interactive theorem proving and functional programming.

jaalonso