William Howard

William Howard: Coq (ontwikkeld door Thierry Coquand en Gérard Huet, 1988): Gebaseerd op de Calculus of Inductive Constructions, een directe afstammeling...