Coq: Introduction | EPFL Graph Search

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Introduces Coq and focuses on proving the theorem and_comm step by step.

Covers translating natural language to propositional logic and proving tautologies.