Logical Foundations – Functional Programming in Coqsoftwarefoundations.cis.upenn.edu3 pointstempodox5 years ago