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.

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Introduces the CS411 Class Project, where students design and test a lesson using learning theories.

Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.