Hacker News new | ask | show | jobs
Video tutorials for the Coq proof assistant (math.andrej.com)
5 points by curling_grad 1103 days ago