H. Geuvers

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A document-oriented Coq plugin for TeXmacs

H. Geuvers and others (2006) · Proceedings of the MathUI workshop at MKM 2006, Wokingham

Proof-Assistants Using Dependent Type Systems

H. Barendregt and others (2001) · Elsevier