Proof Reflection in Coq

Dimitri Hendriks. Proof Reflection in Coq. Journal of Automated Reasoning, 29(3-4):277-307, 2002.

Abstract

Abstract is missing.