Hacker News new | ask | show | jobs
by njs12345 1371 days ago
A good place to start with Coq is Software Foundations: https://softwarefoundations.cis.upenn.edu/