Video tutorials for the Coq proof assistant

5 points by curling_grad 1 year ago | 0 comments