Lectures related to Untitled | EPFL Graph Search

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Explores Git's distributed version control features, focusing on conflict resolution and collaboration management.

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.