Video tutorials for the Coq proof assistantmath.andrej.com5 points·curling_grad··0 commentsOpen articleSaveView on HN