02:10
TableauExample1
02:51
Size Induction in Coq
02:13
Size Induction
05:58
Cantor's Theorem
11:03
First Examples of Proof Terms in Coq
09:01
An Example with Conjunction and Disjunction in Coq
05:11
Triple Negation in Coq
02:56
Cantor's Theorem in Coq
02:38
Leibniz Equality implies Coq's Equality
07:34
An Example with Conjunction and Disjunction
03:11
Triple Negation
02:42
A Simple Proof with an Instantiation in Coq
04:32
A Simple Proof with an Instantiation
08:46
First Examples of Proof Terms
05:05
Introductory Proof: Commutativity of Addition in Coq
05:34
Introductory Proof: Commutativity of Addition
X
About
Youtube Channel for the Introduction to Computational Logic Lecture
Tags