Documentation développement Pcoq

Specifications fonctionnelles

Description des fonctionalités (attendues) de Pcoq

Vernac

Description de la communication avec le parser (Vernac)

Vernac_io

Classes pour la communication avec le parser

RMIParser

Possibilités des RMI pour la mise en oeuvre de l'architecture distribuée interface/système de preuves

Conception

Ebauche de conception