Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Data Abstraction: Modules and Specifications in Coq
Graph Chatbot
Related lectures (26)
Previous
Page 1 of 3
Next
Inductive Propositions: Understanding Evaluation in Coq
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Polymorphism in Coq: Data Structures and Functions
Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Programming Concepts: Variables and Expressions
Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Python Programming: List Comprehensions and Higher Order Functions
Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
C++ Standard Library: Containers and Algorithms
Covers the basics of C++ standard library containers, algorithms, and iterators.
Big-step semantics: Defining arithmetic expressions and commands
Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.
