Introduction

Metatheory of the Calculus of Constructions

Metatheory of Inductive Types

Model Construction

(In)dependence of Axioms

Others

Cocorico: TheoryBehindCoq (last edited 20-03-2014 17:24:32 by Abhishek)

Cocorico!WikiLicense