How to use Coq with Proof General
6:44
How to use Coq with Proof General
已浏览 2.2万 次2011年2月16日
YouTubeAndrej Bauer
Obtaining and Instaling the Coq Proof Assistant
3:12
Obtaining and Instaling the Coq Proof Assistant
已浏览 2万 次2011年2月16日
YouTubeAndrej Bauer
Introductory Proof: Commutativity of Addition in Coq
5:05
Introductory Proof: Commutativity of Addition in Coq
已浏览 1.2万 次2014年3月11日
YouTubeIntroduction to Computational Logic
【DeepSpec】Pierce《Coq Proof Assistant 基础课程》
1:18:35
【DeepSpec】Pierce《Coq Proof Assistant 基础课程》
已浏览 1357 次6 个月之前
bilibili想学的很多
The Coq Proof Assistant, and Logical Foundations
20:29
The Coq Proof Assistant, and Logical Foundations
已浏览 1766 次2022年12月3日
YouTubeTea Leaves
CoqPilot: a Plugin for LLM-based Generation of Proofs
5:25
CoqPilot: a Plugin for LLM-based Generation of Proofs
已浏览 522 次2024年8月16日
YouTubeJetBrains Research
Coq IDEs | Software Foundations in Coq | LF | Basics
7:39
Coq IDEs | Software Foundations in Coq | LF | Basics
已浏览 9039 次2022年7月24日
YouTubeMichael Ryan Clarkson
Equations reloaded: high-level dependently-typed functional prog…
2019年7月26日
acm.org
Equations reloaded: high-level dependently-typed functional prog…
已浏览 2023 次2019年7月26日
acm.org
10:52
Our First Definition and Proof | Software Foundations in Coq | LF …
已浏览 6948 次2022年7月25日
YouTubeMichael Ryan Clarkson
11:03
First Examples of Proof Terms in Coq
已浏览 2.1万 次2014年3月11日
YouTubeIntroduction to Computational Logic
1:21:57
Topology in Coq
已浏览 703 次2020年6月11日
YouTubemniip
1:34
Coq: How to Destruct Coinductive Hypotheses Without Losing Infor…
已浏览 11 次6 个月之前
YouTubeThe Debug Zone
Gabriel Claramunt - Introduction to Coq - Part 1 of 2 - λC 2017
已浏览 660 次2017年10月13日
YouTubeLambdaConf
Programmer avec Coq : récursion et filtrage dépendant
2018年7月17日
college-de-france.fr
1:29
Understanding the Curry Howard Correspondence in Coq: Types an…
5 个月之前
YouTubevlogize
1:35
Understanding How to Prove a Constant is Even in Coq Program…
5 个月之前
YouTubevlogize
8:07
The Coq System | Software Foundations in Coq | LF | Preface
已浏览 4009 次2022年7月8日
YouTubeMichael Ryan Clarkson
10:25
Assert | Software Foundations in Coq | LF | Induction
已浏览 1494 次2022年8月4日
YouTubeMichael Ryan Clarkson
11:58
First Proof by Induction | Software Foundations in Coq | LF | Induction
已浏览 2785 次2022年8月4日
YouTubeMichael Ryan Clarkson
8:07
【软件基础·逻辑基础】06 Coq系统
已浏览 655 次2022年11月3日
bilibili公开课译注
1:49
Using an Interactive Shell for Coq Code in Linux
5 个月之前
YouTubevlogize
1:52
Solving Coq Function Termination: Understanding measure in Detail
5 个月之前
YouTubevlogize
A Verified Foreign Function Interface between Coq and C | Pro…
2025年1月9日
acm.org
0:51
About Coq, programming language
已浏览 478 次9 个月之前
YouTubeVLR Training
2:27
Welcome to Software Foundations in Coq
已浏览 1.3万 次2022年7月6日
YouTubeMichael Ryan Clarkson
1:47
How to Solve for a Variable in Coq
4 个月之前
YouTubevlogize
Programs and Proofs (Spring 2021)
已浏览 844 次2021年12月19日
bilibili他方星云
57:00
Laurent Théry : Proof and computation in Coq
已浏览 1834 次2016年2月9日
YouTubeCentre International de Rencontres Mathématiq…
观看更多视频
静态缩略图占位符