RIP
Tutorial
Tags
Topics
Examples
eBooks
Download coq (PDF)
coq
Getting started with coq
Searching for an existing fact with Search and variants
Using Tactics
Trivial example of a case analysis
coq
Getting started with coq
Searching for an existing fact with Search and variants
Using Tactics
Trivial example of a case analysis
coq
Using Tactics
Introduction
This section includes information on how to use various Coq tactics and techniques (case analysis, proof by induction, auto, etc.) to prove theorems.
Using Tactics Related Examples
Trivial example of a case analysis
PDF
- Download
coq
for free
Previous
Next