Jack's Coq Plugin's User Documentation v.1.3
Table of Contents
Goal
Installation and requirements
Requirements:
Installation
The Proof Modes
The Interactive Mode
The Automatic Modes
The Semi-Automatic Mode
Architecture
Basics
Tactics (Quick Description)
Library
This document was translated from L
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.