Coq Workshop: Introduction to Interactive Theorem Proving

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (53)

Untitled Log in to Mediaspace to watch this video

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

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

Proofs and Logic: Introduction Log in to Mediaspace to watch this video

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

Fourier Inversion Formula Log in to Mediaspace to watch this video

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

Introduction to C Programming Log in to Mediaspace to watch this video

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

Python Programming: Immutable and Mutable Objects Log in to Mediaspace to watch this video

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

Programming Basics: LabVIEW Fundamentals Log in to Mediaspace to watch this video

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

Introduction to Programming: Basics of Python Log in to Mediaspace to watch this video

Covers the basics of programming in Python, focusing on practical skills and hands-on exercises.

Advanced C Data Types Log in to Mediaspace to watch this video

Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.

Functions and Control Structures in Python Log in to Mediaspace to watch this video

Introduces functions and control structures in Python, emphasizing their importance for code organization and reusability.

C++ Programming: Structures and Typedef Log in to Mediaspace to watch this video

Covers the fundamental concepts of C++ programming, focusing on structures, typedef, and data processing.

Operators and Expressions: Programming in C Log in to Mediaspace to watch this video

Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.

Logical Indexing in Matlab Log in to Mediaspace to watch this video

Covers logical indexing in Matlab, focusing on manipulating arrays based on logical conditions.

Deep Learning: Data, Models, and Challenges Log in to Mediaspace to watch this video

Provides an overview of deep learning concepts, focusing on data, model architecture, and challenges in handling large datasets.

Introduction to C Programming Log in to Mediaspace to watch this video

Introduces the fundamentals of C programming, covering language families, data types, pointers, and compilation processes.

Fundamental Solutions Log in to Mediaspace to watch this video

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.

Quantum Chemistry Log in to Mediaspace to watch this video

Covers eigenvalues, eigenfunctions, Hermitian operators, and the measurement of observables in quantum chemistry.

Untitled Log in to Mediaspace to watch this video

Distributions and Derivatives Log in to Mediaspace to watch this video

Covers distributions, derivatives, convergence, and continuity criteria in function spaces.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Page 2 of 3