Introduction

Metatheory of Calculus of Constructions

Metatheory of Inductive Types

Model Construction

(In)dependence of Axioms

TheoryBehindCoq (last edited 07-12-2007 20:37:50 by localhost)

Cocorico!WikiLicense