PLFA Agda: Naturals and then Induction Channel: jappie live275 views • 01/07/2022Related VideosProgramming Language Foundations in Agda: NaturalsTalking Tactics in LeanProver vs Understanding Proofs in Agda with Conal ElliottAgda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022Programming Language Foundations in Agda - Philip Lee Wadler
