View of An introduction to small scale reflection in Coq

Return to Article Details An introduction to small scale reflection in Coq Download Download PDF