Coq IDEs | Software Foundations in Coq | LF | Basics
7:39
YouTubeMichael Ryan Clarkson
Coq IDEs | Software Foundations in Coq | LF | Basics
Coq is an _interactive_ proof assistant. We cover the basic mechanics of interacting with Coq in various IDEs: the online Coq Scratchpad (jsCoq), Coq Platform (CoqIDE), Emacs (Proof General), and VS Code (vsCoq). Installation advice is available at https://github.com/clarksmr/sf-lectures/blob/main/install.md. Textbook: https://clarksmr.github ...
已浏览 8359 次2022年7月24日
Coq Tutorial
One-Pot Coq au Vin Recipe: Impress Your Guests with This Simple French Dish
1:00
One-Pot Coq au Vin Recipe: Impress Your Guests with This Simple French Dish
YouTubeMinimalist Gourmet
已浏览 1995 次2023年4月20日
Coq au vin | Recipe | EN
0:58
Coq au vin | Recipe | EN
YouTubeTasteFrance Magazine
已浏览 8764 次2021年12月11日
Coq au Vin – The French Classic Made Easy | Rich Red Wine Chicken Stew
0:46
Coq au Vin – The French Classic Made Easy | Rich Red Wine Chicken Stew
YouTubeDishes with Del
已浏览 3546 次6 个月之前
热门视频
Welcome to Software Foundations in Coq
2:27
Welcome to Software Foundations in Coq
YouTubeMichael Ryan Clarkson
已浏览 1.2万 次2022年7月6日
Introduction to Coq by Kimball Germane
1:02:54
Introduction to Coq by Kimball Germane
YouTubeLambda Lounge Utah
已浏览 3.8万 次2014年10月1日
[CoqPL'22] Coq meets literate programming: tools for documenting, preserving, and sharing
1:01:54
[CoqPL'22] Coq meets literate programming: tools for documenting, preserving, and sharing
YouTubeACM SIGPLAN
已浏览 685 次2022年2月13日
Coq Proof Assistant
Coq au Vin in 30 Seconds: A French Classic Simplified
0:39
Coq au Vin in 30 Seconds: A French Classic Simplified
YouTubeKitchen Alchemy
已浏览 2.3万 次11 个月之前
The perfect fall meal: coq au vin
1:01
The perfect fall meal: coq au vin
YouTubeBinging with Babish
已浏览 16.9万 次1 个月前
Coq Au Vin by @KellysCleanKitchen
0:27
Coq Au Vin by @KellysCleanKitchen
YouTubeLe Creuset
已浏览 3.4万 次2023年2月17日