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