Video tutorials for the Coq proof assistant(math.andrej.com)5 points by curling_grad 2 years ago | 0 commentsNo comments yet