William Howard
William Howard: Coq (developed by Thierry Coquand and Gérard Huet, 1988): Based on the Calculus of Inductive Constructions, a direct descendant of the...
William Howard: Coq (developed by Thierry Coquand and Gérard Huet, 1988): Based on the Calculus of Inductive Constructions, a direct descendant of the...