Lectures related to Syntax and Typing Rules

Covers the importance of sampling, signal reconstruction, and aliasing in digital representation.

Covers anisotropic elasticity, symmetry operations, and multiphysics in material science.

Introduces the theory behind laminates and their applications in different industries.

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