Login / Signup

An introduction to small scale reflection in Coq.

Georges GonthierAssia Mahboubi
Published in: J. Formaliz. Reason. (2010)
Keyphrases