Coq Workshop: Inductive Data Types and Proofs

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 2 of 4

Focuses on advanced pandas functions for data manipulation, exploration, and visualization with Python, emphasizing the importance of understanding and preparing data.

Python Programming Basics

Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.

Recursive Functions: Examples and Applications

Explores recursive functions, including factorials and Fibonacci sequences, and their scope and namespaces.

Exception Handling in Python

Covers exception handling in Python, including try, raise, except, else, and finally blocks, with examples.

Concept of Proof in Mathematics

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Hoare Logic: Foundations and Applications

Covers Hoare Logic, its foundations, applications, and significance in program verification.

LISA proof assistant: Formalisation and Verification

Covers the LISA proof assistant's codebase organization, kernel package, FOL formalization, and proof package.

Common Sequences Operations

Covers common operations on sequences like lists and tuples, including slicing, extending, and replacing elements.

Proofs and Logic: Introduction

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

Polymorphism in Coq: Data Structures and Functions

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.