2 results found Sort:

Readings on computational logic, interactive theorem proving and functional programming.
Created 2016-12-31
1,647 commits to master branch, last one 19 hours ago