Share: Title:Coq IDEs | Software Foundations in Coq | LF | Basics Duration: 7:39 Plays: 6.5K views Published: 2 years ago Download MP3 Download MP4 Simillar Videos ▶️ 1:30 Exercises In Lists | Software Foundations In Coq | Lf | Lists 6.5K views • 2 years ago ▶️ 0:22 Michael's Diary: Ryan - The Other Woman? 6.5K views • 14 years ago ▶️ 7:24 Intros | Software Foundations In Coq | Lf | Basics 6.5K views • 2 years ago ▶️ 6:47 Higher-order Functions | Ocaml Programming | Chapter 4 Video 1 6.5K views • 3 years ago ▶️ 7:54 Options | Software Foundations In Coq | Lf | Lists 6.5K views • 2 years ago