Concept
Coinduction
Related lectures (3)
Recursion: Understanding Recursive Functions
Explores recursion, fixpoints, and procedures in depth, emphasizing understanding recursive functions.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.