Hacker News new | ask | show | jobs
by solomatov 3991 days ago
Software foundations is very introductory level text on Coq which is very accessible for people without formal proof experience.