Hacker News new | ask | show | jobs
Hands on Software Verification Course with Focus on Functional Programming (mathematicaltalent.com)
1 points by VStack 1155 days ago