Readings on computational logic, interactive theorem proving and functional programming.
No resources for this project.