Hacker News new | ask | show | jobs
by caotic123 1720 days ago
I also recommend the software foundations in coq https://softwarefoundations.cis.upenn.edu/.