English (en) Français (fr) Español (es) Italiano (it) Deutsch (de) हिंदी (hi) Nederlands (nl) русский (ru) 한국어 (ko) 日本語 (ja) Polskie (pl) Svenska (sv) 中文简体 (zh-CN) 中文繁體 (zh-TW)

eBooks
Tags
Topics
Examples
Contributors

Learning coq eBook (PDF)

Download this eBook for free
Chapters

Chapter 1: Getting started with coq
Chapter 2: Searching for an existing fact with Search and variants
Chapter 3: Using Tactics