Computación Simbólica (1997-1998)

Department of Computer Science

Última modificación: 3-Abril-1998

Faculty

• José Luis Freire Nistal

Student Profile

• Faculty of Informatics (Faculty server, in galician)
  
• Ingeniería Informática (Engineer, 5 years)
• fourth year, optional, Spring'98, 6 credits (4 theory, 1.5 practice) (60 hours, 15 weeks)
  

Contents

Symbolic Calculus Systems.

• The Coq System

Aplications.

• Specification Languages.
• Managing proofs.
• Code Generation.

Basic bibliography

• The Coq Proof Assistant. Reference Manual . INRIA.
• The Coq Proof Assistant. A Tutorial G. Huet, G. Kahn et al
• Changes from V6.1 to V6.2 Coq Project

Other interesting documents

• Coq System
• Coq V6.2 Precompilado para W95/NT

---

Jose Luis Freire Nistal / freire@dc.fi.udc.es