Video tutorials for the Coq proof assistant #1 Post by curling_grad » Wed, Jul 26, 2023, 4:07 AM UTC Video tutorials for the Coq proof assistantmath.andrej.com