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