Coq Workshop: Introduction to Interactive Theorem Proving

Related lectures (31)

Introduces LabVIEW programming basics, covering user interface, data types, file handling, and error management.

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.

Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.

Explores data types in C/Arduino microcontroller programming, covering boolean, byte, char, word, arrays, and memory allocation.

Page 2 of 2