Lectures related to GNU Emacs | EPFL Graph Search

Inductive Propositions: Reasoning and Evaluation Techniques

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Explores Git's distributed version control features, focusing on conflict resolution and collaboration management.

Property-Based Testing: Advanced Techniques and Applications

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Introduction to Coq: Arithmetic Expressions and Evaluators

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

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Untitled

Logic Programming Techniques: Automated Proof Search and Unification

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Untitled

Introduction to Proof Scripting: Basics of Ltac

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Scala Lens Compilation

Covers the compilation process of Scala Lens and the use of iterable collections for padding results.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Untitled

C++ Standard Library: Tools Overview

Covers the main tools in the C++ standard library, emphasizing their importance for efficient programming.

Distributed Version Control with Git

Explores Git's distributed version control, covering conflict resolution, collaboration management, and merging in software projects.

Generic Programming: Templates

Covers generic programming using templates in C++, including declaration, instantiation, specialization, and practical examples.

Object-Oriented Programming: Fundamentals and Examples

Covers the fundamentals of Object-Oriented Programming in C++, including encapsulation, inheritance, and polymorphism, with examples in various OOP languages.

Operator Overloading in C++

Explores operator overloading in C++, emphasizing class manipulation and code compilation.

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.

Untitled